for T being non empty 1-sorted
for S being sequence of T holds rng S is Subset of T ;