La geometria sul piano studia le relazioni tra enti geometrici.
Gli enti geometrici sono oggetti ideali che rappresentano aspetti della realta' e sono descritti da funzioni.
Gli enti primitivi sono fondamentali per la definizione di tutti gli altri enti. Gli enti primitivi sono: punto, retta e piano.
Una retta e' composta da un insieme infinito di punti, mentre il piano e' formato da un insieme infinito di rette.
Gli assiomi di ordine della retta:
- Dati due punti A e B esiste sempre un punto C compreso tra i due.
- Dati due punti A e B esiste sempre un punto P che li succede e un punto Q che li precede.
- Dati una retta ed un suo punto O si chiama semiretta la figura costituita da un punto e da una delle due parti in cui la retta viene divisa dal punto.
- Dati due punti A e B si chiama segmento (AB) l'insieme costituito dai due punti A e B e da tutti i punti della retta che sono compresi tra A e B