również, gdy relacja jest funkcyjna). Sumę dziedzin nazywa się polem relacji. Zbiór wszystkich relacji n-argumentowych między zbiorami ma moc
Przykłady
Szczególnym przypadkiem są relacje zawarte w -tej potędze kartezjańskiej zbioru czyli relacje Pod względem formalnym interesujący jest przypadek tzw. relacji zeroargumentowych, czyli zeroczłonowych. Istnieją tylko dwie takie relacje – relacja pusta oraz (jednoelementowy podzbiór zawierający zbiór pusty). Pojawiają się one w rozważaniach teoretycznych dla kompletności teorii, ale nie mają one większych zastosowań jako trywialne. Częściej używanymi relacjami są relacje jednoargumentowe, czyli jednoczłonowe albo unarne, czyli podzbiory zbioru Odpowiadają one wskazaniu pewnego podzbioru w zbiorze przykładowo w zbiorze liczb rzeczywistych takimi relacjami są: zbiór liczb wymiernych zbiór liczb parzystych czy przedział jednostkowy W algebrze relacje jednoargumentowe pojawiają się jako elementy wyróżnione (są to w istocie działania zeroargumentowe, również rozważane są dla kompletności teorii). Relacje dwuargumentowe, czyli dwuczłonowe albo binarne są zdecydowanie najpopularniejszym typem relacji;