If is injective and , then for some , so injectivity gives . The reverse inclusion always holds; hence .
Assume is injective. The inclusion holds for every function. If belongs to the right-hand side, write with and . Injectivity gives , proving equality.
Conversely, suppose (iii) holds and . If , take and . Then is nonempty whereas , a contradiction. Hence is injective.
Parts (i) and (ii) prove (i)(ii), while the two directions in part (ii) prove (i)(iii). Therefore all three statements are equivalent.
DefineCertainly . If , then and has a unique predecessor because is injective. For every , writing and using uniqueness gives ; hence and . Thus .
Articles by others on the same topic
There are currently no matching articles.