Issue:Lattice of IFLs on a set