An element of $P$ is a maximal element if it no other element of $P$ is greater than it.
|
|
The object maximalElements is a method function.
The source of this document is in Posets.m2:4398:0.