:::基础定义.此部分我们建立一些概念作为导引：集合论、算术和二元关系。
偏序集合.序是特别的二元关系。假定formula_6是一集合，且formula_5是在"formula_6"的关系，则formula_5是个偏序当他是自反的，反对称的，且递移的，则，对于所有formula_10和formula_11于"formula_6"，皆能满足：一个偏序性质的集合称为偏序集合、poset或是有序集合（当其所强调的意指明确）。借由查看这些性质，我们能知道在自然数、整数、有理数、以致于