Una relazione mette in corrispondenza coppie di elementi. A seconda delle proprietà di cui gode — riflessiva, simmetrica, antisimmetrica, transitiva — si ottengono le due grandi famiglie: le relazioni di equivalenza, che partizionano un insieme in classi, e le relazioni d’ordine, totali o parziali, che si visualizzano con il diagramma di Hasse.