Define an injective map without using the axiom of choice.

I would define an injective function by , where if and if . But how would I define the map without using the axiom of choice?

Printable View

- Sep 13th 2009, 01:49 PMdori1123axiom of choice
Define an injective map without using the axiom of choice.

I would define an injective function by , where if and if . But how would I define the map without using the axiom of choice? - Sep 13th 2009, 02:01 PMThePerfectHacker