Wiki. 全序集 [全序集]

定义

全序集是每两个元素之间都有序关系的偏序集.