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