如果对一个偏序集$A$(其偏序关系为$\le$)中的任意两个元素$a,b$，必有$a\le b$或者$b\le a$，则称$A$为一个全序集。全序集有时候也称为链
显然，全序集的子集仍为全序集
例如，数的集合在数的大小关系下构成一个全序集