\begin{definition}[Definition:Propositional Expansion]
Suppose our universe of discourse consists of the objects $\mathbf X_1, \mathbf X_2, \mathbf X_3, \ldots$ and so on.
(There may be an infinite number of objects in this universe.)
\end{definition}