拟序关系亦称伪序关系或前序关系,是一种重要的
二元关系。满足反自反性和传递性的二元关系R,称A为拟序集。拟序关系有下列特点: 1. 对角集EA⊆R,且当〈a,b〉∈R,〈b,c〉∈R时,〈a,c〉∈R;2. R 的矩阵(rij)λ主对角线上的元素全是1,且当rij=rjk=1时,rik=1;3. R的箭头图上,每个元素有一个从自己出发又指向自身的箭头,且在有a到b的箭头,b到c的箭头时,就有a到c的箭头。拟序关系的逆关系一定是拟序的,反对称的拟序关系是偏序关系,但拟序关系可以不是偏序关系。
拟序关系是一种次序关系,比
偏序关系的限制更严格一些。它是一种满足反自反、反对称与传递的关系。
设R是非空集合A上的关系,若R具有反自反性、传递性,则称R是A上的拟序关系(Quasi-ordering relation),记该关系R为<。若,可记作,读作“a小于b”。
例1 A={1,2,3},R是A上的整除关系,R={<1,1>,<1,2>,<1,3>,<2,2>,<3,3>},显然R是偏序关系,A中元素有以下关系:1<2,1<3;1=1,2=2,3=3;2和3不可比。
(4) 若R是偏序关系,则是拟序关系;若R是拟序关系,则是偏序关系。即
偏序是拟序的扩充,拟序是偏序的缩减。