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...

{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...

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

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

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...

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

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

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

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

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

(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...

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...

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

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...

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

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

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

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) Resizing (fiction), a theme in fiction, in particular in fairy tales...

First-order logic, also called predicate logic, predicate calculus, or quantificational logic, is a collection of formal systems used in mathematics,...

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...

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...

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

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

In mathematics, a well-order (or well-ordering or well-order relation) on a set S is a total ordering on S with the property that every non-empty subset...

homomorphism is an isomorphism if and only if it is bijective as a function on the underlying sets. If there exists a ring isomorphism between two rings...

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...