theorem Th107: :: FUNCT_1:108

for X being set
for x being object
for f being Function st x in X & x in dom f holds
f . x in f .: X