设<A，>是一个偏序集合，在A的一个子集中，如果每两个元素都是有关系的，则称这个子集为链。在A的一个子集中，如果每两个元素都是无关的，则称这个子集为反链。
我们约定，若A的子集只有单个元素，则这个子集既是链又是反链。
例如A表示一个单位里所有工作人员的集合， 表示领导关系，则<A，>为一偏序集，其中部份工作人员之间有领导关系的组成一个链。还有部份工作人员没有领导关系的组成一个反链。