for C being complete Lattice st C is I_Lattice holds
C is \/-distributive