语言
没有数据
通知
无通知
半順序
〈数〉偏序。
半順序集合 はんじゅんじょしゅうごう
〈数〉偏序集。
順序 じゅんじょ
顺序，次序。
メッセージ順序完全性 メッセージじゅんじょかんぜんせい
消息序列完整性
完備 かんび
完备，完善。
反射的半順序 はんしゃてきはんじゅんじょ
自反偏序
順序性 じゅんじょせい
排序，对齐
順序形
〈数〉序型。
搜索 
搜索 搜索 
