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.