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