Equivalence of Definitions of Lattice Ideal

Theorem
Let $\struct {S, \vee, \wedge, \preceq}$ be a lattice.

Let $I \subseteq S$ be a non-empty subset of $S$.