theorem Th31: :: YELLOW_2:31

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