先考虑一个特殊的次序关系:字母序关系
这里先说说现实的字母序
- p 小于 q
- a1,a2,a3,…ap = b1,b2,b3,…,bp
- a1 > b1
- ai = bi, I = 0,1,2,…,k (k 小于 p), a k +1 > b k + 1
这就是我们常用来比较字符串的规则
所以定义的这一套规则就给出了比较字符串集合的方法
然后可以思考思考这种比较字符串的方法可不可以抽象点什么
可以发现,一个字符串s1本身满足这种关系,其次这种关系有不可逆性,不会说s1大于s2然后s1又小于s2,再次,可以证明这种关系满足传递性。
于是就有了偏序关系的概念:
R是A上的二元关系。如果R是自反的、反对称的、和可传递的,那么R是偏序关系。
偏序关系定义的是集合中的一种比较手段。
全序关系满足集合中任意元素都满足偏序关系。