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},\ldots ,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).