Relacja – w
teorii mnogości dowolny
podzbiór iloczynu kartezjańskiego skończonej liczby
zbiorów; 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.