mathematical field of order theory, an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially...

an isomorphism from a structure to itself. An isomorphism between two structures is a canonical isomorphism (a canonical map that is an isomorphism) if...

In order theory and model theory, branches of mathematics, Cantor's isomorphism theorem states that every two countable dense unbounded linear orders are...

An order isomorphism can be characterized as a surjective order embedding. As a consequence, any order embedding f restricts to an isomorphism between...

{P} (\mathbb {N} )} that is order-preserving, order-reflecting, and hence an order-embedding. It is not an order-isomorphism (since it, for instance, does...

the resulting isomorphism from Z n {\displaystyle \mathbb {Z} ^{n}} to the image of φ {\displaystyle \varphi } is an order isomorphism when the image...

where ω is the smallest limit ordinal. For example, there exists an order-isomorphism between the rational numbers and other densely ordered countable sets...

the unique (up to an order isomorphism) "initial example" of a totally ordered set with a certain property, (here, a total order A is initial for a property...

with partial orders. Any bijective history preserving function is an order isomorphism. Furthermore, if for a given prefix ordered set P we construct the...

same up to renaming of elements. Order isomorphisms are functions that define such a renaming. An order-isomorphism is a monotone bijective function that...

an order isomorphism is a surjective order embedding. Order-preserving. See monotone. Order-reversing. See antitone. Partial order. A partial order is...

(y ∧ z) = (x ∨ y) ∧ (x ∨ z) holds Being a Boolean algebra Being an order isomorphism. Since partial orders are antisymmetric, the only ones that are self-dual...

Look up isomorphism or isomorph in Wiktionary, the free dictionary. Isomorphism or isomorph may refer to: Isomorphism, in mathematics, logic, philosophy...

rather weak compared to an order isomorphism between the involved posets, but every Galois connection gives rise to an isomorphism of certain sub-posets,...

Monotonic Pointwise order of functions Galois connection Order embedding Order isomorphism Closure operator Functions that preserve suprema/infima Dedekind completion...

ordering. That is, f(a) ≤' f(b) if and only if a ≤ b. Provided there exists an order isomorphism between two well-ordered sets, the order isomorphism...

( x ) ≤ f ( y ) ) {\displaystyle f(x)\leq f(y))} and order isomorphisms (surjective order embeddings). In the context of search algorithms monotonicity...

well-ordered set, in a sense different from cardinality: if there is an order isomorphism (more than a bijection) between two well-ordered sets, they have the...

set" for well-ordered sets: ordinal number (equal if there is an order-isomorphism) Resizing (fiction), a theme in fiction, in particular in fairy tales...

bijective correspondence. Thus, the definition of an isomorphism is quite natural. An isomorphism of groups may equivalently be defined as an invertible...

specifically, in differential geometry—the musical isomorphism (or canonical isomorphism) is an isomorphism between the tangent bundle T M {\displaystyle \mathrm...

{\displaystyle G^{-1}(x)<G^{-1}(y).} Therefore, G {\displaystyle G} is an order isomorphism from ( D o m ( G ) , < ) {\displaystyle (Dom(G),<)} to ( V , < ) ...

standard definition of isomorphisms as invertible morphisms, a lattice isomorphism is just a bijective lattice homomorphism. Similarly, a lattice endomorphism...

set" for well-ordered sets: ordinal number (equal if there is an order-isomorphism) In statistics (hypothesis testing), the "size" of the test refers...

denoted NC ( S ) {\displaystyle {\text{NC}}(S)} . There is an obvious order isomorphism between NC ( S 1 ) {\displaystyle {\text{NC}}(S_{1})} and NC ( S 2...

is called orderable or linearly orderable if there exists a total order on its elements such that the order topology induced by that order and the given...

science Can the graph isomorphism problem be solved in polynomial time? More unsolved problems in computer science The graph isomorphism problem is the computational...

partial order is—up to an order isomorphism—the Cartesian product of k = | S | {\displaystyle k=|S|} (the cardinality of S) copies of the partial order on...

institutional isomorphism and collective rationality in organizational fields. The term is borrowed from the mathematical concept of isomorphism. Isomorphism in...

programs and mathematical proofs. It is also known as the Curry–Howard isomorphism or equivalence, or the proofs-as-programs and propositions- or formulae-as-types...