1) Veelhoek 
De verzameling van alle punten 'z' met de beschreven eigenschap is de kern van 'P'. Iedere zijde van een veelhoek definieert een inwendig halfvlak, informeel gedefinieerd als een halfvlak, dat inwendige punten van het veelvlak in de nabijheid van de zijde in kwestie bevat.