M = maximalElements P
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.