for k being Nat
for D being non empty set holds (<*> D) /^ k = <*> D