for S being non empty non void ManySortedSign
for X being V5() ManySortedSet of S
for Y being ManySortedSubset of X holds Free (S,Y) is MSSubAlgebra of Free (S,X)