well-order
Смотреть что такое "well-order" в других словарях:
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-order — 1. noun A total order of which every nonempty subset has a least element. Syn: well ordering 2. verb To impose a well order on (a set) … Wiktionary
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
