theorem :: FUNCOP_1:8

for A being set
for x being object st A <> {} holds
rng (A --> x) = {x} by RELAT_1:160;