共點關係

共點關係是一種特殊的二元關係，共點關係是有限可滿足的二元關係。

基本介紹

• 中文名：共點關係
• 外文名：concurrent relation
• 適用範圍：數理科學

簡介

共點關係是一種特殊的二元關係。

設R是標準全域U中的一個二元關係，若對R的定義域中的任意有限個無素a₁,a₂,...,a_n，在R的值域中總存在一個元素b，有(a_i,b)∈R(i=1,2,...,n)，則稱R是一個共點關係。

換句話說，共點關係是有限可滿足的二元關係。

實例

例如，自然數集上的序關係及集合的包括關係均是共點關係。

二元關係

數學上，二元關係用於討論兩個數學對象的聯繫。諸如算術中的「大於」及「等於」，幾何學中的"相似"，或集合論中的"為...之元素"或"為...之子集"。二元關係有時會簡稱關係，但一般而言關係不必是二元的。

二元關係可看作成二元函式，這種二元函式把輸入元x∈X及y∈Y視為獨立變數並求真偽值（即“有序對(x,y) 是或非二元關係中的一元”此一問題）。