In mathematics, a binary relation associates elements of one set, called the domain, with elements of another set, called the codomain. Precisely, a binary relation over sets