2015 FEB 15 (v1.1)
Let $X_1, X_2, ..., X_n$ be sets. The Cartesian product is empty iff at least one $X_i$ is empty.
From the definition of the Cartesian product we have that an arbitrary object $a$ is in $X_1 \times X_2 \times ... \times X_n$ if and only if for every component $a_i$ of $a$ there is an element $x_i$ in $X_i$ such that $a_i = x_i$.
$\leftarrow$: If at least one $X_i$ is empty there is no such $x_i$.
$\rightarrow$: If $X_1 \times X_2 \times ... \times X_n$ is empty, there is no tuple $a$. $\Box$
Contact me: m.herrmann followed by an -at- followed by blaetterundsterne.org.
This document created with the help of MathJax (Thank you guys!)