algebra Definition Binary Relation A relation R⊆A×B is called a binary relation if its domain A and its codomain B are equal.