theorem Th8: :: WAYBEL21:8

for T being complete LATTICE
for S being non empty full infs-inheriting SubRelStr of T holds incl (S,T) is infs-preserving