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