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