L implication lewla kanden sahla l implication tania nftardo Pour tout A f(A barre)= f(A) barre bghina nbeyno que f bijective ( nbeyno tout x de E il admet un unique antécédent) L idée hia nkhtaro A={x} ( mais kanden bli fles hypothèse khass nzido l application f est surjective )
