m
maximal element
Element of S that is not smaller than any other element in S
EntityQ111315902
- Subclass of
Overview
All data
14 statements · 0% with external sources · numbers in brackets are citations
- Defining formula
m=Maximal~element(P, \preceq ) \overset{\text{def}}{\iff} ( \exists m \in P (\exists y \in P (m\preceq y) \implies y \preceq m ) )
- In defining formula
Psymbol represents: ordered set\preceqsymbol represents: binary relationmsymbol represents: maximal element
On other databases
3 identifiers linking maximal element across the web's reference databases