Horizontal Section of Cartesian Product

Theorem
Let $X$ and $Y$ be sets.

Let $A \subseteq X$ and $B \subseteq Y$, so that $A \times B \subseteq X \times Y$.

Let $y \in Y$.

Then:


 * $\paren {A \times B}^y = \begin{cases}A & y \in B \\ \O & y \not \in B\end{cases}$

Proof
Let $y \in B$.

We have:


 * $x \in \paren {A \times B}^y$




 * $\tuple {x, y} \in A \times B$

Since $y \in B$, this equivalent to:


 * $x \in A$

So:


 * $x \in \paren {A \times B}^y$ $x \in A$

giving:


 * $\paren {A \times B}^y = A$ if $y \in B$.

Now let $y \in Y \setminus B$.

Note that $x \in \paren {A \times B}^y$ :


 * $\tuple {x, y} \in A \times B$

But this is equivalent to:


 * $x \in A$ and $y \in B$.

Since $y \in Y \setminus B$, there exists no such $x \in \paren {A \times B}^y$ and:


 * $\paren {A \times B}^y = \O$