Category:Meet Operation

This category contains results about Meet Operation in the context of Order Theory.

Let $\struct {S, \preceq}$ be an ordered set.

Let $a, b \in S$, and suppose that their infimum $\inf \set {a, b}$ exists in $S$.

Then $a \wedge b$, the meet of $a$ and $b$, is defined as:

$a \wedge b = \inf \set {a, b}$