La matematica odierna standard, quella di Bourbaki, e' basata sulla teoria degli insiemi.
Dagli insiemi vengono definite le relazioni tra gli elementi di 2 insiemi; tecnicamente vengono definite come un sottoinsieme del Prodotto cartesiano di 2 insiemi.