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.