A1: rng (f +* (x,y)) c= (rng f) \/ {y} by Th99;
thus rng (f +* (x,y)) c= V by A1, XBOOLE_1:1; :: according to RELAT_1:def 19 :: thesis: verum