Ideal (lattice theory)