Formální definice
Pro definici relace, potřebujeme nejprve definovat kartézský součin.
Mějme množiny , kde n ≥ 1 pak kartézským součinem rozumíme množinu tedy množinu všech uspořádaných n-tic, jejichž i-té složky jsou prvky z .
Pro definici relace, potřebujeme nejprve definovat kartézský součin.
Mějme množiny , kde n ≥ 1 pak kartézským součinem rozumíme množinu tedy množinu všech uspořádaných n-tic, jejichž i-té složky jsou prvky z .