theorem :: FUNCOP_1:81

for A, B being set
for x being object holds (A --> x) .: B c= {x} ;