The sum of two cardinals $\kappa$ and $\lambda$ is
\[\kappa + \lambda = \lvert (\kappa \times \{0\}) \cup (\lambda \times \{1\}) \rvert.\]
For any disjoint sets $X$ and $Y$,
\[\lvert X \rvert + \lvert Y \rvert = \lvert X \cup Y \rvert.\]
The product of two cardinals $\kappa$ and $\lambda$ is
\[\kappa \cdot \lambda = \lvert \kappa \times \lambda \rvert.\]
For any sets $X$ and $Y$,
\[\lvert X \rvert \cdot \lvert Y \rvert = \lvert X \times Y \rvert.\]
The exponentiation of a cardinal $\kappa$ to the power of another cardinal $\lambda$ is
\[\kappa^\lambda = \lvert \fun(\lambda, \kappa) \rvert.\]
For any sets $X$ and $Y$,
\[\lvert X \rvert^{\lvert Y \rvert} = \lvert \fun(Y, X) \rvert.\]