序关系是集合元素间爱蒸正精担益叫切时的一种二元关系。
非空集合S,其元素之间定义了一种二元关系→,若R满足:
1.不可逆性(反对称性):对任意a,b∈S,若有a→b,则没有b→a。
2.传递性:对任意a,360百科b,c∈S,若有a→b,b→c,则有a→c。
3.自反性:对任意a∈S,都有a→a。
则→称为S上的一个偏序或偏序关系。
若→还满足:
4.三岐性:对任意a,b∈S,a→b,a=b,b→a,有且仅有一个成立。
则→称为S上的一个全序或全序关系环导占角。
微信 分享