Well-Definedness of Cardinal Addition, Multiplication, and Exponentiation