Give a careful proof of the proposition: If A is denumerable and B ~ A, then B is denumerable. (You must exhibit an explicit 1-1 correspondence N -…

Give a careful proof of the proposition: If A is denumerable and B ~ A, then B is denumerable.(You must exhibit an explicit 1-1 correspondence N -> B.)

Given that A ∼ B that is A is isomorphic to B.Hence there is an isomorphismg:B→A.And given that A is denumerable. Hence there is a bijective function f suchthatf :: A → Nis bijective…