theorem Th18: :: WAYBEL21:18

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