well-ordered set

well-ordered set

[′wel ¦ȯr·dərd ′set]
A linearly ordered set where every subset has a least element.
McGraw-Hill Dictionary of Scientific & Technical Terms, 6E, Copyright © 2003 by The McGraw-Hill Companies, Inc.

well-ordered set

A set with a total ordering and no infinite descending chains. A total ordering "<=" satisfies

x <= x

x <= y <= z => x <= z

x <= y <= x => x = y

for all x, y: x <= y or y <= x

In addition, if a set W is well-ordered then all non-empty subsets A of W have a least element, i.e. there exists x in A such that for all y in A, x <= y.

Ordinals are isomorphism classes of well-ordered sets, just as integers are isomorphism classes of finite sets.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)
References in periodicals archive ?
And, in my defence, I keep a tight rein on the saucepan lid situation, and have an admirably well-ordered set of tea towels.
Each well-ordered set is isomorphic to a suitable [C.sub.[alpha]] (see [1], pp.
Following [1], we say that a bijection f:(M, [less than or equal to]) [right arrow] (N, [??]) between two well-ordered sets is an isomorphism if it holds that a [less than or equal to] b implies f(a) [??] f(b).
Thus, HN [union] UN = N (since N is well-ordered set).
Writing in an admirably succinct and clear style, he covers logic, sets, functions, counting infinite sets, infinite cardinals, well-ordered sets, inductions and numbers, prime numbers, and logic and meta-mathematics.
In this accessible treatment written for the mathematically inquisitive general reader or undergraduates, Faticoni (mathematics, Fordham U.) describes the uses of infinity as he explains elementary set theory, functions (including inverse functions), counting infinite sets (including Hilbert's Infinite Hotel), infinite Cardinals (including the two infinities), well-ordered sets (such as the arithmetic of ordinals and cardinals as ordinals), inductions and numbers, including number theory, prime numbers, including the Riemann Zeta function.