theorem Th1: :: RING_3:1

for f being Function
for A being set
for a, b being object st a in A & b in A holds
(f || A) . (a,b) = f . (a,b)