An element of $P$ is a maximal element if it no other element of $P$ is greater than it.
i1 : P = poset {{a,b}, {a,c}, {c,d}};
|
i2 : maximalElements P
o2 = {b, d}
o2 : List
|
The object maximalElements is a method function.