(A x B)^\mathsf{c}