Relacja dwuargumentowa, dwuczłonowa albo binarna – dowolny podzbiór iloczynu kartezjańskiego dwóch zbiorów.
Wprowadzenie do zagadnienia można znaleźć w artykule o relacjach skończonej liczby argumentów.
Definicje
Relacja dwuargumentowa jako podzbiór iloczynu kartezjańskiego i jest zbiorem par uporządkowanych postaci należących do zbioru czasami zamiast pisze się i mówi, że element jest w relacji z elementem bądź między elementami zachodzi relacja Istnieje pewna rozbieżność względem nazewnictwa dotyczącego zbiorów; tutaj dziedziną i przeciwdziedziną nazywane będą odpowiednio zbiory i z kolei zbiór
tzn. zbiór złożony ze wszystkich poprzedników par należących do relacji nazywany będzie dziedziną lewostronną (często nazywa się ją nieprecyzyjnie po prostu dziedziną), zaś zbiór
tzn. zbiór złożony ze wszystkich następników par należących do relacji nazywany będzie dziedziną prawostronną lub obrazem tej relacji (zob. Własności). Sumę dziedzin lewostronnej i prawostronnej (dziedziny i obrazu) nazywa się polem relacji.