亞序

亞序(preordering)由亞正錐所確定的一種二元關係.設T是域F的一個亞正錐.規定F'的一個二元關係>為h>a若且唯若b-u E 7',並且稱E是F的一個亞序.亞序與序的差別,僅在於序是定義在F的全體元素之間,亞序則否.因此,序也是一種亞序.由弱亞正錐所定出的亞序稱為弱亞序.

相關詞條

熱門詞條

聯絡我們