_1，formula_1当中的两个不同元素 0 和 1 ，formula_1上的两种二元运算 formula_4 （分别叫做"加法"与"乘法"），以及formula_1上的一个二元关系formula_6（即序关系）构成。而且这个模型符合以下性质：有理数域formula_49符合前三条公理，也就是说formula_49是一个有序域（同时formula_49还满足阿基米德性，所以formula_49是一个阿基米德有序域），但formula_49 不符合最后一条公理。所以戴德金完备性这一点在实数的定义中是