ideal (lattice theory)