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