If is injective and , then for some , so injectivity gives . The reverse inclusion always holds; hence .
Conversely, if (ii) holds and , then , so . Thus (i) and (ii) are equivalent.
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.
Define
Certainly . If , then and has a unique predecessor because is injective. For every , writing and using uniqueness gives ; hence and . Thus .
If , its unique predecessor must lie in , so ; consequently . If a point belonged to every for , it would belong to and also to , which is impossible. Therefore

Articles by others on the same topic (0)

There are currently no matching articles.