rng (x .--> i) = {i} by RELAT_1:195;
hence rng (x .--> i) c= A by ZFMISC_1:37; :: according to RELAT_1:def 19 :: thesis: verum