for L being Lattice holds
( L is noetherian iff L .: is co-noetherian )