傳遞關係(transitive relation)是一種特殊的關係,指由甲、乙和乙、丙都有,可推知甲、丙也有的那種關係。集合A上的二元關係R,對任何a,b,c∈A,當aRb,bRc時,...
空關係是一種特殊關係,指關係集A×B中的子集∅。非空集合中的空關係是反自反的、對稱的、反對稱的和傳遞的,但不是自反的;空集合中的空關係則是自反的、反...
關係的性質主要有以下五種:自反性,反自反性,對稱性,反對稱性和傳遞性。自反性: 。在集合X上的關係R,如對任意 ,有 ,則稱R是自反的。
預序關係(簡稱預序,又稱先序,preorder,quasi-order)、在數學中,是一類接近於偏序關係的二元關係,但僅滿足自反性和傳遞性而不滿足反對稱性。偏序的大多數理論均...
弱序關係(weak-ordering relation)亦稱弱優選關係,是一種重要的二元關係,指集合A中的自反的、傳遞的、連通的二元關係R。弱序關係R對任何a,b∈A,有aRb或bRa,A...
擬序關係亦稱偽序關係或前序關係,是一種重要的二元關係,指集合A上的自反的與傳遞的二元關係R,A稱為擬序集。擬序關係有下列特點: 1. 對角集EA⊆R,且當〈...
擬序(quasi-order)是一種特殊的二元關係,它是集合上具有反自反性及可傳遞性的二元關係。如a為一固定複數,對於任意複數x,y,有xR1y若且唯若|x-a|≥|y-a|...
在代數邏輯中,作用代數是既是剩餘半格又是克萊尼代數的代數結構。它向剩餘半格增加了克萊尼代數的星號或自反傳遞閉包運算,或者說向克萊尼代數增加了剩餘半格的左...
①任何集合上的相等關係=是自反的,對稱的、反對稱的和傳遞的,但不是反自反的。②整數集合Z中,關係≤是自反的、反對稱的和傳遞的,但不是反自反的和對稱的,...