for L being Lattice
for I being Ideal of L holds (.I.> = I by Def9;