Macaulay2 » Documentation
Packages » Posets :: posetMeet
next | previous | forward | backward | up | index | toc

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

- 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

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

## See also

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

## Ways to use posetMeet:

- `posetMeet(Poset,Thing,Thing)`

## For the programmer

The object posetMeet is a method function.

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/Posets.m2:4541:0.