polorovina, -y ž. mat. část roviny určená jednou její přímkou