for D being non empty set
for f being Function st rng f = D holds
rng <:<*f*>:> = 1 -tuples_on D