# Filtered in Meet Semilattice with Finite Infima

## Theorem

Let $\left({S, \preceq}\right)$ be a meet semilattice.

Let $H$ be a non-empty lower subset of $S$.

Then $H$ is filtered if and only if

for every non-empty finite subset $A$ of $H$, $\inf A \in H$

## Proof

This follows by mutatis mutandis of the proof of Directed in Join Semilattice with Finite Suprema.

$\blacksquare$