completeness axiom

Definition from Wiktionary, the free dictionary
Jump to: navigation, search



completeness axiom (plural completeness axioms)

  1. (mathematics) The following axiom (applied to an ordered field): for any subset of the given ordered field, if there is any upper bound for this subset, then there is also a supremum for this subset, and this supremum is an element of the given ordered field (though not necessarily of the subset).