A binary relation from a set A to A is said to be a binary relation on A.

• 从集合a到a的二元关系，称为a上的二元关系。