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

Synopsis

• Operator: _*

• Usage:

  G = P_*

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

Description

i1 : P = booleanLattice 3;

i2 : P_*

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

o2 : List

See also

• Poset _ ZZ -- returns an element of the ground set
• Poset _ List -- returns elements of the ground set
• Poset -- a class for partially ordered sets (posets)