theorem Th32: :: FILTER_2:32

for L being Lattice
for I being Ideal of L holds
( I is max-ideal iff I .: is being_ultrafilter )