Prove or find counterexamples:
If A x B = empty set then A = empty set or B = empty set.
Well, you titled this "using the definition of the binary product"?
So what is the definition of A x B?
Then consider using an indirect proof: If neither A nor B is empty...
Separate names with a comma.