Binary relation such that every element of the right set has a corresponding element in the left set
Also known as right-total relation · right total relation · onto relation
3 statements · 33% with external sources · numbers in brackets are citations
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.