Relacja – 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.
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).
Wprowadzenie Zbiór wszystkich obywateli Polski jest relacją (jednoargumentową) w zbiorze wszystkich żyjących ludzi wprost z definicji.