数学上， 二元关系用于讨论两个数学对象的 联系。诸如 算术中的「 大于」及「等于」，几何学中的"相似"，或 集合论中的"为...之元素"或"为...之 子集"。二元关系有时会简称关系，但一般而言关系不必是二元的。