Polrovina je časť roviny (predstav si nekonečný veľké letisko s dokonale rovnou plochou), ktorá vznikne, keď rovinu rozdelíš jedinou priamkou na dve časti. Každá z nich je jednou polrovinou.