序關係

序關係是集合元素間的一種二元關係。

非空集合S，其元素之間定義了一種二元關係→，若R滿足：

1.不可逆性：對任意，若有，則沒有

2.傳遞性：對任意，若有，則有。

2.反自反性：對任意，都沒有。

則→稱為S上的一個偏序或偏序關係。

若→還滿足：

3.三岐性：對任意，有且僅有一個成立。

則→稱為S上的一個全序或全序關係。