全序造句

1：我们给出一个与传统的全序域定义等价的全序域定义，并由此推导出一系列关于全序域的基本命题。

2：将时间表理论中关于拟全序的相邻交换原则改进为关于偏序的情形.