Poset _* -- returns the ground set of a poset

• Operator: _*

• Usage:

  G = P_*

• Inputs:
  • P, an instance of the type Poset,
• Outputs:
  • G, a list, the ground set of $P$

i1 : P = booleanLattice 3;

i2 : P_*

o2 = {000, 001, 010, 011, 100, 101, 110, 111}

o2 : List