for L being complete LATTICE
for S being non empty full sups-inheriting SubRelStr of L holds S is complete LATTICE