theorem Th30: :: YELLOW_2:30

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