Filtered in Meet Semilattice with Finite Infima

Theorem
Let $\struct {S, \preceq}$ be a meet semilattice.

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

Then $H$ is filtered
 * 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.