for X being set
for x being object
for f being b₁ -valued Function st x in dom f holds
f . x is Element of X