posetMeet -- determines the meet for two elements of a poset

Synopsis

• Usage:

  m = posetMeet(P, a, b)

• Inputs:
  • P, an instance of the type Poset
  • a, a thing, an element of the poset
  • b, a thing, an element of the poset
• Outputs:
  • m, a thing, the greatest element less than both $a$ and $b$, if it exists

Description

i1 : B = booleanLattice 3;

i2 : posetMeet(B, "011", "110")

o2 = {010}

o2 : List

See also

• meetExists -- determines if the meet exists for two elements of a poset
• posetJoin -- determines the join for two elements of a poset