In mathematics, especially in order theory, a maximal element of a subset of some preordered set is an element of that is not smaller than any other element in . A minimal element of a subset of some preordered set is defined dually as an element of that is not greater than any other element in .
The notions of maximal and minimal elements are weaker than those of greatest element and least element which are also known, respectively, as maximum and minimum. The maximum of a subset of a preordered set is an element of which is greater than or equal to any other element of and the minimum of is again defined dually. In the particular case of a partially ordered set, while there can be at most one maximum and at most one minimum there may be multiple maximal or minimal elements.[1][2] Specializing further to totally ordered sets, the notions of maximal element and maximum coincide, and the notions of minimal element and minimum coincide.
As an example, in the collection
ordered by containment, the element {d, o} is minimal as it contains no sets in the collection, the element {g, o, a, d} is maximal as there are no sets in the collection which contain it, the element {d, o, g} is neither, and the element {o, a, f} is both minimal and maximal. By contrast, neither a maximum nor a minimum exists for
Zorn's lemma states that every partially ordered set for which every totally ordered subset has an upper bound contains at least one maximal element. This lemma is equivalent to the well-ordering theorem and the axiom of choice[3] and implies major results in other mathematical areas like the Hahn–Banach theorem, the Kirszbraun theorem, Tychonoff's theorem, the existence of a Hamel basis for every vector space, and the existence of an algebraic closure for every field.
^Richmond, Bettina; Richmond, Thomas (2009), A Discrete Transition to Advanced Mathematics, American Mathematical Society, p. 181, ISBN 978-0-8218-4789-3.
^Scott, William Raymond (1987), Group Theory (2nd ed.), Dover, p. 22, ISBN 978-0-486-65377-8
^Jech, Thomas (2008) [originally published in 1973]. The Axiom of Choice. Dover Publications. ISBN 978-0-486-46624-8.
and 26 Related for: Maximal and minimal elements information
maximum and at most one minimum there may be multiple maximal or minimalelements. Specializing further to totally ordered sets, the notions of maximal element...
definition of maximalandminimalelements is more general. In particular, a set can have many maximalandminimalelements, whereas infima and suprema are...
supremum and essential infimum Initial and terminal objects Maximalandminimalelements Limit superior and limit inferior (infimum limit) Upper and lower...
important role in PCF theory. Greatest element and least element Infimum and supremum Maximalandminimalelements Schaefer, Helmut H.; Wolff, Manfred P. (1999)...
(partially ordered by inclusion) has maximalandminimalelements. Prime ideals can frequently be produced as maximalelements of certain collections of ideals...
Class and the 2020 reboot) The Max, a nickname for the Pakistan Hockey Super League, field hockey max and min, operations to obtain maximalandminimal elements...
a maximal element (the maximal condition or maximum condition). Every finite poset satisfies both the ascending and descending chain conditions, and thus...
theory, a maximal ideal is an ideal that is maximal (with respect to set inclusion) amongst all proper ideals. In other words, I is a maximal ideal of...
but a poset can have several minimal or maximalelements. If a poset has more than one maximal element, then these elements will not be mutually comparable...
new and previously unreleased tracks, including the hit single "Bitter" (Bitter Official Video) in collaboration with Hiras . Minimal to Maximal includes...
Landau set Preorder Partial order Maximalandminimalelements - the Smith set can be defined as the maximalelements of a particular partial order. http://dss...
clear: an integral domain has no nonzero nilpotent elements, and the zero ideal is the unique minimal prime ideal. This translates, in algebraic geometry...
In graph theory, a maximal independent set (MIS) or maximal stable set is an independent set that is not a subset of any other independent set. In other...
maximalelementsand some elements may be both maximalandminimal (e.g. 5 above). However, if there is a least element, then it is the only minimal element...
Minimalism also can lead to less clutter in living spaces. Formalism (art) KISS principle Lyrical abstraction Neo-minimalismMaximalismMinimalism (computing)...
882 dimensional vector space over the field with 2 elements. A large subgroup H (preferably a maximal subgroup) of the Monster is selected in which it is...
maximal if and only if it contains both a minimaland a maximal element of the poset. Maximal element. A maximal element of a subset X of a poset P is an...
unique maximal subgroup containing e. Each maximal subgroup arises in this way, so there is a one-to-one correspondence between idempotents andmaximal subgroups...
(Isaacs 2009), (Lam 2001), and (Lam 1999). In a ring with unity, maximal right ideals always exist. In contrast, minimal right, left, or two-sided ideals...
nilpotentfree if every ring R M {\textstyle R_{M}} with maximal ideal M {\textstyle M} is free of nilpotent elements or a ring with every nonunit a zero divisor.: 52 ...
local ring with maximal ideal m and residue field k and M finitely generated module. Then Nakayama's lemma says that M has a minimal generating set whose...
The following are the minimal functionally complete sets of logical connectives with arity ≤ 2: One element {↑}, {↓}. Two elements { ∨ , ¬ } {\displaystyle...
lattice. Also it is not clear why in a graded poset all minimalelements, as well as all maximalelements, should be required to have the same length, even...
star product is a method of combining graded posets with unique minimalandmaximalelements, preserving the property that the posets are Eulerian. The star...
(luminance) color of elements.: 6.2 rMQR Code has minimal height of 7X andminimal width of 27X, where maximal height is 17X andmaximal width 139X.: 7.1 ...