theorem Th14: :: FUNCOP_1:14

for A, B being set
for x being object st x in B holds
(A --> x) " B = A