Fact-checked by Grok 2 weeks ago

Order isomorphism

In the mathematical field of order theory, an order isomorphism is a bijective function f: P \to Q between two partially ordered sets (P, \leq_P) and (Q, \leq_Q) such that for all x, y \in P, x \leq_P y if and only if f(x) \leq_Q f(y).^[1]^[2] This equivalence ensures that the order structures of P and Q are indistinguishable, preserving not only the partial order relations but also properties like comparability, minimal and maximal elements, and chains or antichains within the sets./01%3A_Foundations/1.04%3A_Partial_Orders) Order isomorphisms form an equivalence relation on the class of partially ordered sets, partitioning them into isomorphism classes that capture their essential structural features up to relabeling of elements.^[3] The concept extends naturally from total orders, where it equates linearly ordered sets like the natural numbers \mathbb{N} and the even positives $2\mathbb{N} via the map f(n) = 2n, to more general partial orders such as the lattice of subsets of a set under inclusion.^[2] In set theory, order isomorphisms are fundamental for comparing well-orderings and defining ordinal numbers, where two well-ordered sets are isomorphic if and only if they represent the same ordinal.^[4] They also play a key role in theorems like Cantor's characterization of dense linear orders without endpoints, which are all isomorphic to the rationals \mathbb{Q}.^[2] Beyond pure mathematics, these isomorphisms aid in modeling hierarchical structures in computer science, such as dependency graphs and databases, by identifying equivalent orderings.^[3]

Preliminaries

Partially Ordered Sets

A partially ordered set, or poset, consists of a set P together with a binary relation \leq on P that is reflexive, antisymmetric, and transitive.^[5] Reflexivity means that for every x \in P, x \leq x; antisymmetry ensures that if x \leq y and y \leq x, then x = y; and transitivity requires that if x \leq y and y \leq z, then x \leq z./01%3A_Foundations/1.04%3A_Partial_Orders) The pair (P, \leq) is the standard notation for such a structure.^[6] Partial orders differ from total orders, also known as linear orders, in that not every pair of elements in a poset need be comparable under \leq; that is, there may exist x, y \in P such that neither x \leq y nor y \leq x.^[5] In contrast, a total order is a partial order where every pair of distinct elements is comparable. This partiality allows posets to model complex hierarchies where independence or incomparability is possible. Classic examples include the power set of a finite set S, denoted \mathcal{P}(S), ordered by set inclusion, where A \leq B if and only if A \subseteq B./05%3A_Relations/5.05%3A_Partial_Orders_and_Power_Sets) Another is the set of positive integers \mathbb{N}^+ under divisibility, where m \leq n if and only if m divides n.^[7] In both cases, the relation satisfies the poset axioms, though many pairs remain incomparable, such as 2 and 3 under divisibility. Hasse diagrams provide a visual representation of finite posets by depicting elements as vertices and drawing directed edges only for covering relations—where x covers y if y < x and no z satisfies y < z < x—while omitting edges implied by transitivity and assuming an upward orientation for the order.^[8] This simplifies the diagram by removing redundant lines, making the structure's minimal dependencies clear; for instance, the Hasse diagram of \mathcal{P}(\{1,2\}) under inclusion consists of four points with edges connecting the empty set to singletons and singletons to the full set./04%3A_Relations/4.04%3A_Partially_Ordered_Sets)

Order-Preserving Maps

In the context of partially ordered sets, an order-preserving map, also known as a monotone function, from a poset (P, \leq) to a poset (Q, \leq') is a function f: P \to Q such that for all x, y \in P, if x \leq y then f(x) \leq' f(y).^[9] This condition ensures that the mapping respects the order structure, transferring comparability from P to Q in a one-directional manner.^[10] A variant is the strict order-preserving map, which applies to the associated strict partial orders < and <' derived from \leq and \leq' by excluding equality; here, f: P \to Q satisfies x < y implies f(x) <' f(y).^[11] Common examples include the identity map on any poset (P, \leq), which trivially preserves order since f(x) = x. Constant maps f(x) = c for some fixed c \in Q are also order-preserving, as f(x) = f(y) = c ensures c \leq' c holds by reflexivity. In product orders, such as the poset (P \times Q, \leq_{prod}) where (a, b) \leq_{prod} (a', b') if a \leq_P a' and b \leq_Q b', the projection maps \pi_P: (a, b) \mapsto a and \pi_Q: (a, b) \mapsto b are order-preserving, since the componentwise inequalities directly imply the required order in the codomain. The composition of order-preserving maps preserves this property: if f: (P, \leq) \to (Q, \leq') and g: (Q, \leq') \to (R, \leq'') are order-preserving, then g \circ f: P \to R satisfies x \leq y implies f(x) \leq' f(y) and thus g(f(x)) \leq'' g(f(y)).^[9] The dual concept is an order-reversing map, where x \leq y implies f(x) \geq' f(y), which inverts the order direction while maintaining the partial order structure.^[9]

Definition and Characterization

Formal Definition

An order isomorphism between two partially ordered sets (P, \leq) and (Q, \leq') is a bijection f: P \to Q such that f is order-preserving (i.e., x \leq y implies f(x) \leq' f(y) for all x, y \in P) and the inverse f^{-1}: Q \to P is also order-preserving (i.e., u \leq' v implies f^{-1}(u) \leq f^{-1}(v) for all u, v \in Q).^[12] Equivalently, f is an order isomorphism if it is bijective and satisfies x \leq y if and only if f(x) \leq' f(y) for all x, y \in P.^[13] If an order isomorphism exists between (P, \leq) and (Q, \leq'), the posets are called order-isomorphic and denoted (P, \leq) \cong (Q, \leq').^[12] In the category \mathbf{Poset} of partially ordered sets (as objects) and order-preserving maps (as morphisms), the isomorphisms coincide exactly with the order isomorphisms.^[14]

Equivalent Conditions

In order theory, an order isomorphism between partially ordered sets (posets) (P, \leq) and (Q, \leq') admits several equivalent characterizations beyond the standard definition of a bijective order-preserving map with an order-preserving inverse.^[15] A first equivalent condition is that f: P \to Q is bijective, order-preserving, and its inverse f^{-1}: Q \to P is also order-preserving. This directly aligns with the requirement that order relations are preserved in both directions.^[16] A second equivalent condition is that f is bijective and satisfies x \leq y if and only if f(x) \leq' f(y) for all x, y \in P. This bidirectional preservation ensures that the order structure is fully mirrored. To verify that this implies the inverse is order-preserving, suppose u \leq' v for u, v \in Q. Let x = f^{-1}(u) and y = f^{-1}(v). Then f(x) = u \leq' v = f(y), so by the equivalence, x \leq y. Thus, f^{-1} maps ordered pairs to ordered pairs.^[17] If the posets are lattices, an order isomorphism f induces a lattice isomorphism, preserving the meet and join operations as defined on the posets. For strict partial orders, analogous conditions apply by replacing the non-strict order \leq with the strict order <, yielding a bijective map f such that x < y if and only if f(x) <' f(y).

Properties

Preservation and Reflection

Order isomorphisms preserve and reflect the partial order relation between partially ordered sets (posets). Specifically, for an order isomorphism f: P \to Q between posets P and Q, it holds that a \leq b in P if and only if f(a) \leq' f(b) in Q, where \leq' denotes the order in Q. This bidirectional preservation ensures that the structural properties of P are mirrored exactly in Q via f and its inverse f^{-1}.^[2] As a direct consequence, order isomorphisms map minimal elements of P to minimal elements of Q, and maximal elements of P to maximal elements of Q. To see this, suppose x is minimal in P, meaning no y < x exists in P. If f(x) were not minimal in Q, there would exist z <' f(x) in Q, implying f^{-1}(z) < x in P by reflection, a contradiction. The argument for maximal elements is symmetric.^[2] Order isomorphisms also preserve chains and antichains. A subset C \subseteq P forms a chain if it is totally ordered, so for any a, b \in C, either a \leq b or b \leq a. The image f(C) inherits this total order, as f preserves the order relation, making f(C) a chain in Q. Since f is bijective, it establishes a one-to-one correspondence between chains in P and chains in Q. Similarly, an antichain in P—a subset where no two elements are comparable—is mapped to an antichain in Q, because if f(a) and f(b) were comparable in Q for incomparable a, b \in P, reflection via f^{-1} would imply comparability in P, which is impossible.^[18] The reflection property extends to incomparability: elements x, y \in P are incomparable (neither x \leq y nor y \leq x) if and only if f(x) and f(y) are incomparable in Q. This follows immediately from the defining condition of the isomorphism, ensuring that the "parallel" structure of incomparable elements is maintained.^[2] In posets equipped with suprema or infima, order isomorphisms preserve these bounds when they exist. If s = \sup S in P for a subset S \subseteq P, then f(s) = \sup f(S) in Q, as f maps upper bounds of S to upper bounds of f(S) and preserves the least such bound. The same holds for infima. In the special case where P and Q are lattices, an order isomorphism is thus a lattice isomorphism, preserving all finite meets and joins. For complete lattices, it further preserves arbitrary suprema and infima.^[18] When posets are endowed with their order topologies—generated by the subbasis of open rays and intervals—an order isomorphism f: P \to Q is a homeomorphism between the topological spaces. This is because f and f^{-1} are both continuous with respect to the order topology, as they preserve the order relations defining the open sets.^[2]

Categorical Perspective

In category theory, the category Pos has partially ordered sets (posets) as its objects and order-preserving maps as its morphisms. An order isomorphism in this context is precisely an isomorphism in Pos, meaning a morphism f: P \to Q that admits an inverse morphism g: Q \to P such that f \circ g = \mathrm{id}_Q and g \circ f = \mathrm{id}_P.^[19]^[9] This inverse exists if and only if f is a bijection and g is also order-preserving, ensuring that the order structure is fully preserved in both directions. The universal property defining isomorphisms in any category thus characterizes order isomorphisms as those morphisms invertible within Pos. This perspective abstracts the notion beyond individual maps, emphasizing structural equivalence between posets.^[19]^[9] Order isomorphisms in Pos are analogous to group isomorphisms in the category of groups, where both serve as the invertible morphisms capturing identical algebraic structures, but adapted to the relational framework of partial orders. At a higher level, functors between categories of posets—such as those preserving order relations—may induce natural isomorphisms that align with order isomorphisms under suitable conditions. This categorical invertibility manifests concretely in the preservation and reflection of order relations between elements.^[19]^[9]

Order Types

Definition of Order Type

In order theory, the order type of a partially ordered set (poset) is defined as the equivalence class of that poset under the relation of order isomorphism, where two posets are considered equivalent if there exists a bijective order-preserving map between them with an order-preserving inverse.^[2] This classification groups posets that share the same structural properties up to relabeling of elements, serving as a fundamental tool for comparing and categorizing ordered structures without regard to their specific underlying sets. Order types are often denoted by referencing a canonical representative poset, such as the natural numbers \mathbb{N} with the standard ordering, which has order type \omega, or finite chains denoted by their cardinality n.^[2] For well-ordered posets, countable order types correspond to countable ordinals, providing a precise indexing of well-orderings by transfinite numbers like \omega, \omega + 1, or \omega \cdot 2.^[20] For finite linear orders, the order type is determined by the cardinality, as all such orders of the same size are isomorphic; however, for general finite posets, order types distinguish different structures even among those of the same cardinality, such as chains versus antichains, whereas infinite order types capture more complex structures, such as dense linear orders without endpoints that are isomorphic to the rationals \mathbb{Q}.^[2] The order type of constructed posets follows compositional rules: the product of two posets inherits the componentwise order, yielding an order type that combines their individual types; the sum (disjoint union) appends structures while preserving incomparabilities between components; and the lexicographic order on a product prioritizes the first coordinate, producing a type that linearizes the structure in a dictionary-like manner.^[2] The concept of order type was introduced by Georg Cantor in the late 19th century specifically for linear orders as abstractions of ordering structures, enabling arithmetic operations on transfinite sequences and the development of ordinal numbers; it was later extended naturally to partial orders in the broader framework of order theory.^[20]

Role in Isomorphisms

Order isomorphisms establish an equivalence relation on the class of partially ordered sets (posets), partitioning them into equivalence classes known as order types. These order types serve as a complete invariant for isomorphism, meaning that two posets are order isomorphic if and only if they belong to the same equivalence class under this relation.^[13] This classification ensures that posets sharing the same order type exhibit identical structural properties with respect to the partial order, enabling systematic study and comparison without regard to specific labelings of elements. The order type of a poset determines several key structural invariants. Notably, it fixes the cardinality of the underlying set, as isomorphisms are bijective.^[13] It also determines the height of the poset, defined as the supremum of the cardinalities of its chains (maximal totally ordered subsets). Similarly, the width, which is the supremum of the cardinalities of its antichains (maximal incomparable subsets), is preserved; by Dilworth's theorem, this equals the minimum number of chains required to partition the poset.^[21] For finite posets, the order type further determines the total number of antichains, a combinatorial invariant that quantifies the complexity of the order structure; in the specific case of the boolean lattice on n elements (the power set ordered by inclusion), this number is the Dedekind number M(n).^[22] Order types illustrate the existence of non-isomorphic posets with identical cardinality. Within the subclass of linear orders (total posets), for instance, the order type ω (corresponding to the natural numbers under the usual order) and ω + 1 (the natural numbers followed by an additional maximal element) both have countably infinite cardinality but are not isomorphic, as the former has no maximum element while the latter does.^[23] This highlights how order types capture subtle differences invisible to cardinality alone. The classification via order types extends naturally to important subclasses of posets, such as scattered linear orders—those without a dense suborder isomorphic to the rationals. Hausdorff's theorem characterizes these as the smallest class of linear orders containing the ordinals and closed under ordinal summation, providing a recursive description of their order types that fully classifies them up to isomorphism.^[24] In general, order types offer a complete and precise framework for distinguishing posets up to order isomorphism across these settings.

Examples

Finite Posets

In the context of finite partially ordered sets (posets), order isomorphisms provide a concrete way to identify structurally equivalent orders, as defined by a bijective order-preserving map that reflects the partial order relations. A fundamental example involves finite chains, which are totally ordered posets. Any two finite chains with the same number of elements, say n, are order isomorphic, since there is essentially a unique total order up to relabeling on an n-element set. For instance, the chain $1 < 2 < \dots < n is isomorphic to another such chain via the identity map if labeled identically, or via any strictly increasing bijection (e.g., relabeling the elements while preserving their sequence) if the labels differ.^[25] Another illustrative case is the Boolean lattice of rank k, formed by the power set of a k-element set under inclusion. This poset is unique up to order isomorphism: for any two k-element sets S and T, the posets (\mathcal{P}(S), \subseteq) and (\mathcal{P}(T), \subseteq) are isomorphic via the map induced by any bijection f: S \to T, sending each subset A \subseteq S to f(A) = \{f(x) \mid x \in A\}. This map preserves inclusion, as A \subseteq B implies f(A) \subseteq f(B), and it is bijective with inverse induced by f^{-1}. The Hasse diagram of such a lattice corresponds to the k-dimensional hypercube, where vertices represent subsets and edges connect subsets differing by one element.^[26] Not all finite posets of equal cardinality are isomorphic, highlighting the specificity of order structure. Consider the Boolean lattice of rank 2 on four elements (subsets of \{1,2\}): its Hasse diagram forms a diamond, with the empty set at the bottom connected to the singletons \{1\} and \{2\} (incomparable), both connected to the full set \{1,2\} at the top. In contrast, the chain of four elements has a linear Hasse diagram: a path with three edges connecting elements in strict sequence. These posets are not order isomorphic, as the Boolean lattice contains incomparable pairs (e.g., \{1\} \parallel \{2\}), while the chain has none; any bijection would fail to preserve this incomparability. Such differences can be verified by direct comparison of covering relations in their Hasse diagrams, feasible due to finiteness.^[25] The diversity of finite posets underscores the role of isomorphisms in classification. Up to order isomorphism, the number of distinct posets on n elements is 1 for n=1, 2 for n=2, 5 for n=3, 16 for n=4, and 63 for n=5, reflecting rapid growth in structural variety.^[27]

Infinite Posets

In infinite posets, order isomorphisms reveal structural equivalences that often contrast with finite cases due to properties like density and well-foundedness. A prominent example is the poset of rational numbers \mathbb{Q} under the usual order <, which forms a countable dense linear order without endpoints. By Cantor's back-and-forth theorem, any two such posets are order-isomorphic, making \mathbb{Q} unique up to isomorphism in this class.^[28] Moreover, \mathbb{Q} admits a rich group of order-automorphisms, consisting of all strictly increasing bijections from \mathbb{Q} to itself; this group is highly homogeneous, allowing transitive action on finite configurations of rationals.^[29] Well-ordered infinite posets, such as ordinals, provide another key illustration. The ordinal \omega, the order type of the natural numbers \mathbb{N} under the standard order, is isomorphic to itself via the identity map, preserving its countably infinite well-ordering with no largest element. However, \omega + 1, obtained by adjoining a maximum element to \omega, is not order-isomorphic to \omega, as the former has a greatest element while the latter does not; any order-isomorphism would preserve the absence or presence of maximal elements.^[30] A non-example highlights distinctions in infinite discrete orders: the poset \mathbb{N} under the usual order is not order-isomorphic to the poset \mathbb{Z} of integers under the usual order. Although both are countable and discrete, \mathbb{N} has a least element (0), whereas \mathbb{Z} has no minimal element, and any order-isomorphism would map minimal elements to minimal elements.^[2] In product posets, the lexicographic order on \mathbb{R} \times \mathbb{R} (where (x_1, y_1) < (x_2, y_2) if x_1 < x_2 or x_1 = x_2 and y_1 < y_2) is not order-isomorphic to \mathbb{R} under the usual order. The usual \mathbb{R} satisfies the least upper bound property (every nonempty bounded-above subset has a supremum), but the lexicographic \mathbb{R} \times \mathbb{R} does not—for instance, the set \{(q, 0) \mid q \in \mathbb{Q}, q < \sqrt{2}\} has no least upper bound in the order.^[31] Proving the existence of order-isomorphisms in certain infinite posets often invokes the axiom of choice. For well-ordered sets, the well-ordering theorem (every set can be well-ordered) relies on choice, enabling the assignment of ordinal types and thus comparisons via isomorphisms; without choice, not all sets admit well-orderings, complicating isomorphism classifications.^[32] In dense linear orders of uncountable cardinality, constructing isomorphisms between separable complete examples (like \mathbb{R}) and others may require choice to select bases or extend partial isomorphisms beyond countable cases.^[33]

References

[1]
Order Isomorphic -- from Wolfram MathWorld
Two totally ordered sets and are order isomorphic iff there is a bijection from to such that for all , (Ciesielski 1997, p. 38).
[2]
[PDF] Chapter 8 Ordered Sets
An order isomorphism preserves “betweenness,” so is not order isomorphic to : in , ... РIn the precise definitions of axiomatic set theory, the cardinal number ...<|separator|>
[3]
[PDF] Lecture 7 1 Partially ordered sets
Feb 24, 2011 · Definition 7 Two partially ordered sets P and Q are isomorphic if there exists a bijective, order-preserving map between them whose inverse is ...
[4]
[PDF] ordinals.1 Order-Isomorphisms - Open Logic Project Builds
The well-orderings ⟨A, <⟩ and ⟨B, ⋖⟩ are order-isomorphic iff there is a bijection f : A → B such that: x<y iff f(x) ⋖ f(y). In this case, we write. ⟨A, <⟩ ∼= ⟨ ...
[5]
poset - PlanetMath.org
Mar 22, 2013 · is reflexive, antisymmetric, and transitive, every total order is a poset. The notion of partial order is weaker than that of total order. A ...<|control11|><|separator|>
[6]
4. Partial Orders - Random Services
Definitions. A partial order on a set $S$ is a relation $\preceq$ on $S$ that is reflexive, anti-symmetric, and transitive. The pair $ (S, \preceq) $ ...
[7]
[PDF] combinatorial aspects of partially ordered sets
(4) Given n ∈ N, the poset Dn is the set of positive divisors of n ordered by divisibility; i.e., x ≤Dn y if and only if x divides y.
[8]
Hasse Diagram -- from Wolfram MathWorld
A Hasse diagram is a graphical rendering of a partially ordered set displayed via the cover relation of the partially ordered set with an implied upward ...
[9]
Introduction to Lattices and Order
This new edition of Introduction to Lattices and Order presents a radical reorganization and updating, though its primary aim is unchanged.
[10]
[PDF] Möbius Functions of Posets I: Introduction to Partially Ordered Sets
Jun 25, 2007 · A partially ordered set or poset is a set P together with a binary ... For posets P and Q, an order preserving map is f : P → Q with x ≤P ...
[11]
[PDF] Extended strict order polynomial of a poset and fixed elements of ...
map φ : P → N is a strictly order-preserving map if it satisfies s <P t ⇒ φ(s) < φ(t). A natural labeling of a poset P is an order-preserving bijection ω : P → ...
[12]
[PDF] Notes on Lattice Theory J. B. Nation University of Hawaii
Priestley, Introduction to Lattices and Order, Cambridge University Press, ... Note that if Q is a partially ordered set and I is an order ideal of Q, then ...
[13]
Isomorphic Posets -- from Wolfram MathWorld
Two partially ordered sets are said to be isomorphic if their structures are entirely analogous. Formally, partially ordered sets P=(X,<=) and Q=(X^',<=^') are ...Missing: definition | Show results with:definition
[14]
Basics | SpringerLink
May 12, 2016 · To prove that 1 and 2 imply that f is an isomorphism, we must prove that f −1: Q → P is order-preserving. Let q 1, q 2 ∈ Q be such that q 1 ≤ q ...
[15]
[PDF] Cardinal and Ordinal Numbers Math 6300
A bijective order embedding for which the inverse is also order preserving is called an (order) isomorphism. An order isomorphism of a partially ordered set ...
[16]
[PDF] Part II. Basic tools and concepts - Berkeley Math
May 4, 2015 · Let S be an infinite set, and P(S) the set of all subsets of S, partially ordered by inclusion. Show by example that P(S) can contain chains ...<|separator|>
[17]
[PDF] Math 7411 1. Logic Spring 2008
Definition An order isomorphism between two partially ordered sets (A,≤) and (B,≤0) is a bijective function f : A → B such that x ≤ y iff f(x) ≤0 f(y). Lemma 1 ...
[18]
[PDF] Introduction to Lattices and Order
A bijective homomorphism is a (lattice) isomorphism. If f ∶ L → K is a one-to-one homomorphism, then the sublattice f (L) of K is isomorphic ...
[19]
[PDF] Mathematics 6310 Introduction to category theory Ken Brown ...
The category of sets and (arbitrary) functions. • The category of posets and order-preserving functions. Although category theory can get quite abstract, it ...
[20]
[PDF] SET THEORY FROM CANTOR TO COHEN
Cantor went on to present his theory of order types, abstractions of linear orderings. He defined an arithmetic of order types and characterized the order type ...
[21]
Dilworth's Lemma -- from Wolfram MathWorld
Dilworth's Lemma: The partial order width of a set P is equal to the minimum number of chains needed to cover P.
[22]
[PDF] On Dedekind Numbers and Two Sequences of Knuth 1 Introduction
Dec 27, 2021 · So F(2k) is the number of anti-chains in a Boolean lattice with k atoms, that is, F(2k) is a Dedekind number. The exact values of the Dedekind ...
[23]
Ordinal Number -- from Wolfram MathWorld
Any two totally ordered sets with elements (for. a nonnegative integer) are order isomorphic, and therefore have the same order type (which is also an ordinal ...
[24]
[PDF] a scattering of orders - Mathematical Sciences
P embeds a κ-dense linear ordering. By the previous claim, P is the lexicographic sum of a linearly ordered set of antichains, say the order type is L.
[25]
[PDF] Introduction to Lattices and Order
Introduction to Lattices and Order. George Voutsadakis1. 1Mathematics and ... Not every bijective map between ordered sets is an order-isomorphism:.
[26]
Boolean Lattice - an overview | ScienceDirect Topics
A Boolean lattice is defined as any lattice that is complemented and distributive. In any Boolean lattice B, the complement of each element is unique and ...
[27]
[PDF] Posets on up to 16 points
This article describes a method to construct non-isomorphic posets, and gives results for posets on 15 and 16 points. The algorithm can list more than 4 ...<|control11|><|separator|>
[28]
[PDF] bas.1 Dense Linear Orders - Open Logic Project Builds
Any two enumerable dense linear orderings without end- points are isomorphic. Proof. Let M1 and M2 be enumerable dense linear orderings without end- points, ...
[29]
Universal sequences for the order-automorphisms of the rationals
Jan 30, 2014 · In this paper, we consider the group Aut(\mathbb{Q}, \leq) of order-automorphisms of the rational numbers, proving a result analogous to a theorem of Galvin's ...
[30]
[TeX] Ordinal Numbers
By Theorem 4.15, either M and K are order-isomorphic or one is order-isomorphic to an initial segment of the other. Without loss of generality, let g:M → K be ...
[31]
R×R not order isomorphic to R - Math Stack Exchange
Nov 15, 2013 · I am trying to show that if you use the lexicographic ordering induced by R on R×R they are not isomorphic. Is it enough to use the counter- ...Isomorphism of R and R×R - Mathematics Stack ExchangeIs (R2,lexicographic)≅(R,discrete)×(R,usual)? - Math Stack ExchangeMore results from math.stackexchange.com
[32]
Well-ordered sets and the axiom of choice | Travor's Home Page
May 27, 2023 · By adapting the proof of Lemma 3, we find that two ordinals are isomorphic to each other iff they are the same, so we deduce the following law ...Order Isomorphisms And... · Ordinals And Natural Numbers · The Axiom Of Choice
[33]
The Axiom of Choice - Stanford Encyclopedia of Philosophy
Jan 8, 2008 · In 1904 Ernst Zermelo formulated the Axiom of Choice (abbreviated as AC throughout this article) in terms of what he called coverings (Zermelo ...