總結：

1.描述序關系，需要滿足：傳遞性、反對稱性、自反性（描述二元關系中自己與自己的關系，方便計算）。這樣就可以使用公理化的思想定義序關系。

2.集合中所有元素的序關系只能排出一條鏈，記為全序關系，以此構建全序公理。

全序公理滿足：反對稱性、傳遞性、完全性（即任取兩個元素都能排序，它包含了自反性的情況）。

3.自然數(shù)集是一個全序集。這是由自然數(shù)集的定義決定的。