Exercises for § 5. Product of a family of sets

Bourbaki sets these at the end of § 5. Product of a family of sets.

3 exercises, 3 of them with a solution. Every solution here is machine-written and machine-judged and is not Bourbaki's.