偏序集合

数学概念
image
偏序（partial order）定义为满足自反性、反对称性、传递性的关系。因此，
和
为偏序关系，但
和
不是偏序关系。偏序集合（partially order set）S就是指具备偏序关系R的集合。有偏序关系的集合可简写为偏序集（poset）。[1]
AOV网所代表的一项工程中活动的集合就是一个偏序集合。测试AOV网是否具有回路（即是否是一个有向无环图）的方法，就是在AOV网的偏序集合下构造一个拓扑序列，如果能构造这样的拓扑序列，则说明该AOV网没有回路，这时的拓扑序列是AOV网中所有活动的一个全序集合。[2]

内容介绍

定义

设R是非空集合A上的一个二元关系，若R满足：自反性、反对称性、传递性，则称R为A上的偏序关系。