完备性序理论在序理论(order theory）和相关的领域中，如格(lattice）和畴(domain theory）中，全序性（completeness）一般是指对于偏序集(partially ordered set）存在某个特定的上确界(suprema）或下确界(infima）
值得特别注意的是，这个概念在特定的情况下也应用于完全布尔代数(complete Boolean algebra），完全格(complete lattice）和完全偏序(complete partial order）
并且一个有序域（ordered field）被称为完全的，如果它的任何在这个域中有上界的非空子集，都有一个在这个域中的最小上界（least upper bound）；注意这个定义与序理论中的完全有界性(bounded complete）有细小的差别
在同构的意义下，有且仅有一个完全有序域，即实数
以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。
