binary relation

Set of ordered pairs with first element in A and second element in B

Also known as 2-place relation · dyadic relation

Instance of: type of relation
Subclass of: relation
Part of: Cartesian product
1
Sources
1.Stated in Elementi di teoria degli insiemiRetrieved 2017-11-09
View statement on Wikidata ↗

Overview

From Wikipedia, the free encyclopedia · Read full article · Text CC BY-SA 4.0

In mathematics, a binary relation associates some elements of one set called the domain with some elements of another set called the codomain. Precisely, a binary relation over sets X and Y is a set of ordered pairs (x,y), where x is an element of X and y is an element of Y. It encodes the common concept of relation: an element is related to an element if and only if the pair belongs to the set of ordered pairs that defines the binary relation.

Overview

All data

33 statements · 15% with external sources · numbers in brackets are citations

Has characteristic: arity numeric value: 2
domain of a partial function
codomain
Defining formula: R \subseteq A \times B
Has part(s) of the class: ordered pair
In defining formula: R symbol represents: binary relation
A symbol represents: set
B symbol represents: set

On other databases

17 identifiers linking binary relation across the web's reference databases

Data quality

statements

15%

externally sourced

Source last edited October 4, 2026. AIDB refreshes this page daily.

Suggest a fact or correction

Links

Use this data

curl https://aidb.si/api/v1/entities/Q130901

API docs, limits & keys

Cite this page

AIDB. (2026). binary relation (Q130901). Retrieved from https://aidb.si/e/binary-relation-Q130901