Relacja (matematyka)

Relacja – dowolny podzbiór iloczynu kartezjańskiego skończonej liczby zbiorów^[1]; definicja ta oddaje intuicję pewnego związku, czy zależności między elementami wspomnianych zbiorów (elementy wspomnianych zbiorów pozostają w związku albo łączy je pewna zależność, czy też własność lub nie). Najważniejszymi relacjami są relacje dwuargumentowe, tj. między elementami pary zbiorów (opisane w osobnym artykule, w tym funkcje i działania jednoargumentowe); relacje jednoargumentowe to po prostu podzbiory pewnego zbioru.

Pojęcie relacji uogólnia się na klasy: ma to na celu opisanie równości różnych obiektów jako relacji i ominięcie przy tym różnych paradoksów związanych z teorią mnogości (np. paradoks zbioru wszystkich zbiorów).