Cartesian Product is Empty iff Factor is Empty/Family of Sets

Theorem

 * $S \times T = \O \iff S = \O \lor T = \O$