3
$\begingroup$

$(1)$ $A \subset B$ or $A \subset C$ $\iff$ $A \subset (B \cup C)$ and

$(2)$ $(A \times B) \subset (C \times D) \implies A \subset C$

Is $(1)$ true? Or does the implication only hold in the forward direction? A friend of mine and I are beginning to work through Munkres's Topology and he is convinced it is only the forward direction, but I think it is a logical equivalence.

Note

Munkres defines "or" to mean "either A or B or both"


Edit 2

$(2)$ was asked after the original question, which was $(1)$. For both questions, Brian M. Scott helped with a counterexample.

  • 0
    @JJR I think that if $B$ is assumed non-empty in (2), then the theorem holds.2013-03-05

1 Answers 1

4

A counterexample for (1) is $B=\{0\},C=\{1\}$, and $A=\{0,1\}$.

A counterexample for (2) is $A=\{0\}, B=\varnothing$, and $C=D=\{1\}$.