Talk:Cartesian Product of Subsets/Corollary 3

Typo?

I think this Corollary contains a typo. As stated the theorem isn't true. e.g. $A = \set {1}$, $B = \set{2}$ and $C = \set{1, 2}$. Then $A \times B \subseteq C \times C$ but $A \not \subseteq B$.

I don't have a copy of the source so I can't correct the Corollary to what was intended. The pages linking to the Corollary don't help either. Based upon the proof my best guess is that the result should be $A \cup B \subseteq C$ --Leigh.Samphier (talk) 16:42, 23 February 2020 (EST)

Good catch. Corrected as needed. --prime mover (talk) 17:45, 23 February 2020 (EST)