Im (R,x) = R .: {x} ;
hence Im (R,x) is Subset of Y ; :: thesis: verum