Abstract math

No mistake is more common and more fatuous
than appealing to logic
in cases which are beyond her jurisdiction
(Samuel Butler)

In matematica una corrispondenza biunivoca tra due insiemi A e B è una relazione binaria tra A e B tale che ad ogni elemento di A corrisponda uno ed un solo elemento di B, e ad ogni elemento di B corrisponda uno ed un solo elemento di A.

La relazione binaria "avere bisogno di" è una corrispondenza biunivoca, l'ho scoperto qualche ora fa.

E badate bene, è un assioma...non necessita di dimostrazione.