a subset "I" of a lattice ("P", ≤) is an ideal if and only if it is a lower set that is closed under finite joins (suprema), i.e., it is nonempty and for all "x", "y" in "I", the element formula_1 of "P" is also in "I".