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