כמו כן קל לראות שפונקציה זו חח"ע וגם על.
=== <math>\aleph_0 \cdot \alephaleph_0=\alephaleph_0</math> ===
טענה <math>B=\{2n-1 | n\in \mathbb{N}\}</math> קבוצת האי זוגיים היא בת מנייה
טענה <math>\aleph_0 \cdot \aleph=\aleph</math>
הוכחה: נגדיר <math>f:B\times C\to \mathbb{N}</math> ע"י <math>(x,k)\mapsto x\cdot 2^k</math>
טענה: f חח"ע