条件付き完備束(conditionallycompletelattice)とは任意の空でない上に有界な部分集合が結び（最小上界）を持つことをいう。
实数可唯一由一“戴德金完备有序体”（即带有上界的非空实数集合必然有最小上界）所决定（在同构意义上）。