Не, явно аз съм в грешка :) Nedev обясни твърде добре, благодарности за което, пък и съм само програмист любител-математик ... но не ми стана ясно защо множеството от подмножества на {} да e с мощност 1 - съдържа един елемент, който е - какво? - самото празно множество ли? Самото множество подмножество ли е на себе си, и необходима ли е такава рекурсивност в дефинициите :)

За инекцията и сюрекцията е ясно :) дори се подразбира.
Хора, кажете някаква online литература по въпроса?

Редактирано от н@блюдaтeл на 03.05.05 20:39.