for C, D being set
for f being b₁ -defined total Function holds
( f is Function of C,D iff f is D -valued )