hi

I have few doubts about one set theorem which I proved.

Suppose that with

and . I had to prove that

I did prove that but I have some questions. Shouldn't there be an equality

because when we talk about the inverse functions, we talk about one-to-one functions. So I can't think of situation

where

Can you ? and question related to latex typesetting. how do I reduce font size ?

thanks