Relácia (matematika)

(n-árna/n-členná) relácia nad množinami X₁, …, X_k je ľubovoľná podmnožina karteziánskeho súčinu X₁ × … × X_k. Inými slovami, prvky takejto relácie tvoria usporiadané k-tice (x₁, …, x_k), kde $x_1\in X_1,\dots ,x_k\in X_k$.

Najbežnejšie sú binárne relácie, teda podmnožiny karteziánskeho súčinu dvoch množín. V prípade binárnej relácie R sa fakt, že a je vo vzťahu k b (teda dvojica a,b patrí do binárnej relácie R), symbolicky zapisuje ako aRb alebo R(a,b).