Definition:Propositional Expansion

Definition
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.)