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