The SlugMath Wiki is under heavy development!

# Def/Maximal element

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