Binary relations
= Binary relations
{wiki=Binary_relations}
A binary relation is a fundamental concept in mathematics and theoretical computer science that describes a relationship between pairs of elements from two sets (or from the same set). Formally, if \\( A \\) and \\( B \\) are two sets, a binary relation \\( R \\) from \\( A \\) to \\( B \\) is defined as a subset of the Cartesian product \\( A \\times B \\).