well-order

well-order
1. noun
A total order of which every nonempty subset has a least element.
2. verb
To impose a well-order on (a set).

Wikipedia foundation.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • Well-order — In mathematics, a well order relation (or well ordering) on a set S is a total order on S with the property that every non empty subset of S has a least element in this ordering.Equivalently, a well ordering is a well founded total order.The set… …   Wikipedia

  • Well-founded relation — In mathematics, a binary relation, R, is well founded (or wellfounded) on a class X if and only if every non empty subset of X has a minimal element with respect to R; that is, for every non empty subset S of X, there is an element m of S such… …   Wikipedia

  • Well-quasi-ordering — In mathematics, specifically order theory, a well quasi ordering or wqo is a well founded quasi ordering with an additional restriction on sequences that there is no infinite sequence x i with x i ot le x j for all i < j . Motivation We can use… …   Wikipedia

  • Order theory — For a topical guide to this subject, see Outline of order theory. Order theory is a branch of mathematics which investigates our intuitive notion of order using binary relations. It provides a formal framework for describing statements such as… …   Wikipedia

  • Order type — In mathematics, especially in set theory, two ordered sets X,Y are said to have the same order type just when they are order isomorphic, that is, when there exists a bijection f: X → Y such that both f and its inverse are monotone (order… …   Wikipedia

  • Well-ordering theorem — The well ordering theorem (not to be confused with the well ordering axiom) states that every set can be well ordered.This is important because it makes every set susceptible to the powerful technique of transfinite induction.Georg Cantor… …   Wikipedia

  • well-ordering — noun A total order of which every nonempty subset has a least element. Syn: well order …   Wiktionary

  • well-ordered — adjective a) Having a precise arrangement. b) Having a well order …   Wiktionary

  • Order of Preachers —     Order of Preachers     † Catholic Encyclopedia ► Order of Preachers     As the Order of the Friars Preachers is the principal part of the entire Order of St. Dominic, we shall include under this title the two other parts of the order: the… …   Catholic encyclopedia

  • Order of Saint Augustine — Abbreviation OSA Formation March, 1256 Type Catholic religious ord …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”