for D being set
for f being Function holds
( f is D -valued iff f is Function of (dom f),D )