theorem Th46: :: FUNCT_1:47

for X being set
for x being object
for f being Function st x in dom (f | X) holds
(f | X) . x = f . x