for D being non empty set
for d being Element of D holds <*d*> in 1 -tuples_on D