^^Bipunto.
Bipunto (=df)
Bipunti-equipollenti-classe = traslazione
- Il bipunto di Bellavitis e' una coppia ordinata
- la classe di equivalenza dei bipunti equipollenti e' quindi un insieme
di coppie ordinate
- secondo la definizione insiemistica questo insieme di coppie ordinate e'
una funzione, una endofunzione
- questa funzione e' una traslazione
Quindi
- equipollenza
- traslazione
- vettore
in astratto sono le tante facce della stessa medaglia.