for X being set
for k being Nat st X c= Seg k holds
rng (Sgm X) c= Seg k