==== פתרון ====
נגדיר פונקציה <math>f:P(\mathbb{N})\to P(\mathbb{N})-\{\varnothing\} </math> ע"י <math>\{n\}\mapsto \{n+1\},\varnothing \mapsto \{1\}</math> וכל <math>B</math> שאינה נקודון ואינה הקבוצה הריקה נשלח לעצמה.
הפיכה כי יש לה הופכית: <math>f^{-1}:P(\mathbb{N})-\{\varnothing\}\to P(\mathbb{N})</math> ע"י <math>\{1\}\mapsto \varnothing,\{n\geq 2\}\mapsto \{n-1\}</math> וכל <math>B</math> שאינה נקודון נשלחת לעצמה.
===תרגיל ===