for T being set
for A being SetSequence of T holds rng A is non empty countable Subset-Family of T