全关系是指在
数学中,集合X上的一个二元关系R是全关系(total relation),其满足:“对所有
属于X的a和b,a关系到b或b关系到a。”上述性质一般也称为完全性(totality)。
在
数学中,
集合X上的一个
二元关系R是全关系(total relation),若其满足:“对所有
属于X的a和b,a关系到b
或b关系到a。”
实数集上的“小于等于”是一个全关系,而“严格小于”则不是。
例如,“小于或等于”是与实数集合之间的总关系,因为两个数字是第一个小于或等于第二个数,或者第二个数小于或等于第一个。 另一方面,“少于”不是一个完全关系,因为人可以选两个相等的数字,而不是第一个小于第二个,也不是第二个小于第一个。 (但请注意,“少于”是一种弱势,导致总体秩序,即“小于或等于”,严格秩序与弱指令之间的关系在部分有序集上讨论。)