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 \).