形式定义：设R是集合A上的一个二元关系，若R满足：Ⅰ 自反性：对任意x∈A，有xRx；Ⅱ 反对称性（即反对称关系）：对任意x,y∈A，若xRy，且yRx，则x=y；Ⅲ 传递性：对任意x, y,z∈A，若xRy，且yRz，则xRz。[1] 则称R为A上的偏序关系
