Def: the set of real numbers R is an ordered field which has the least upper bound property and contains Q。