theorem Th91: :: FUNCT_7:92

for f being Function
for a, b being object
for A being set holds
( a in A or (f +* (a,b)) | A = f | A )