# 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, , an element of the poset
• b, , an element of the poset
• Outputs:
• m, , the greatest element less than both $a$ and $b$, if it exists

## Description

The meet of $a$ and $b$ in $P$, if it exists, is the unique greatest element less than both $a$ and $b$.

 i1 : B = booleanLattice 3; i2 : posetMeet(B, "011", "110") o2 = {010} o2 : List