Relacja dwuargumentowa,
dwuczłonowa albo
binarna – w
teorii mnogości dowolny
podzbiór iloczynu kartezjańskiego dwóch
zbiorów, która formalizuje intuicję pewnego związku, czy zależności między elementami wspomnianych zbiorów (dane dwa elementy pozostają w związku albo łączy je pewna zależność lub nie). Do najważniejszych relacji tego rodzaju należy zaliczyć
funkcje i
działania jednoargumentowe (zob.
Własności). Pojęcie relacji (dwuargumentowych) uogólnia się na
klasy: ma to na celu opisanie przykładowo równości różnych obiektów jako relacji między nimi i ominięcie przy tym różnych
paradoksów związanych z teorią mnogości (np.
paradoks zbioru wszystkich zbiorów).