[科普中国]-共点关系

共点关系是一种特殊的二元关系，共点关系是有限可满足的二元关系。

简介共点关系是一种特殊的二元关系。

设R是标准全域U中的一个二元关系，若对R的定义域中的任意有限个无素a1,a2,...,an，在R的值域中总存在一个元素b，有(ai,b)∈R(i=1,2,...,n)，则称R是一个共点关系。

换句话说，共点关系是有限可满足的二元关系。

实例例如，自然数集上的序关系及集合的包括关系均是共点关系。1

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

二元关系可看作成二元函数，这种二元函数把输入元x∈X及y∈Y视为独立变量并求真伪值（即“有序对(x,y) 是或非二元关系中的一元”此一问题）。

本词条内容贡献者为:

杜强 - 高级工程师 - 中国科学院工程热物理研究所