for L being Lattice
for I being Ideal of L holds
( I is max-ideal iff I is maximal )