E' una relazione tra due insiemi che associa a ogni elemento di un insieme uno e un solo elemento dell'altro e viceversa.