theorem Th37: :: FILTER_2:37

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