theorem :: WAYBEL21:19

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