maximalElements -- determines the maximal elements of a poset

• Usage:

  M = maximalElements P

• Inputs:
  • P, an instance of the type Poset,
• Outputs:
  • M, a list,

i1 : P = poset {{a,b}, {a,c}, {c,d}};

i2 : maximalElements P

o2 = {b, d}

o2 : List