The SlugMath Wiki is under heavy development!
Def/Maximal element
From SlugmathWiki
Definition of Maximal element: Suppose that $(X, \leq)$ is a poset. A maximal element of $X$ is an element $m \in X$, such that: $$\forall x \in X, x \leq m.$$
Logical Connections
This definition logically relies on the following definitions and statements: Def/Partial order
The following statements and definitions logically rely on the material of this page: Def/Dedekind cut
To visualize the logical connections between this definition and other items of mathematical knowledge, you can visit any of the following clusters, and click the "Visualize" tab: Clust/Ordered sets
