形式化單序理論

形式化單序理論(formal theory of simple or-der)亦稱線性序理論.滿足單序關係的形式系統.設語言丫~{蕊}，其中毛是二元關係符號，由偏序公理}1 } }2 } }3(參見“形式化偏序理論”)加上公理

為出發點所構成的形式系統，稱為形式化單序理論，簡稱單序理論.