Cardinal arithmetic

Cardinal sums are cardinalities of disjoint unions, products are cardinalities of Cartesian products, and exponentials ${\kappa }^{\lambda }$ count functions from a set of size $\lambda$ to one of size $\kappa$.