for L being distributive Lattice
for I being Ideal of L holds I = meet { P where P is Ideal of L : ( P is prime & I c= P ) }