isBounded -- determines if a poset is bounded

• Usage:

  i = isBounded P

• Inputs:
  • P, an instance of the type Poset,
• Outputs:
  • i, a Boolean value, whether $P$ is bounded

i1 : n = 5;

i2 : isBounded chain n

o2 = true

i3 : B = booleanLattice n;

i4 : isBounded B

o4 = true

i5 : isBounded flagPoset(B, {1,2,3,4})

o5 = false