for i, k, n being Nat
for a being Tuple of n,k -SD st i in Seg n holds
a . i is Element of k -SD