亚序_亚正锥确定的一种二元关系

亚序

亚正锥确定的一种二元关系

亚序(preordering)由亚正锥所确定的一种二元关系。

设T是域F的一个亚正锥.规定F'的一个二元关系＞为h＞a当且仅当b-u E 7'，并且称E是F的一个亚序.亚序与序的差别，仅在于序是定义在F的全体元素之间，亚序则否.因此，序也是一种亚序.由弱亚正锥所定出的亚序称为弱亚序.

参考资料

最新修订时间：2024-04-21 14:45

条目作者

概述

参考资料