31

更新時間: 2013-07-29

廣告

設R為非空集合A上的關係,如果R是自反的(A包涵A)、反對稱的(A
\leftrightarrow
A)和傳遞的(A
\rightarrow
B,B
\rightarrow
C則A
\rightarrow
C),則稱R為A上的偏序關係,簡稱偏序,記作≦。
一個集合A與A上的偏序關係R一起叫作偏序集,記作<A,R>或<A, ≦>。
設≦為A上的偏序關係,如果有序對<x,y>屬於偏序,可記作x≦y,讀作「x小於等於y」,此處小於等於是指x、y在偏序中位置的先後。

廣告