10和formula_11于"formula_6"，皆能满足：一个偏序性质的集合称为偏序集合、poset或是有序集合（当其所强调的意指明确）。借由查看这些性质，我们能知道在自然数、整数、有理数、以致于实数皆有明确的序关系。当然，它们还有额外的性质成为全序，即在"formula_6"中对于每一个"a"和"b"皆能满足：这些序又称为线性序或链。当许多典型序为线性，集合内的有序子集合会发生不满足此性质的例子。另一个例子为给定一个整除性关系"formula_23"。对于两个数formula_24和formu