In addition to basic logic names, we introduce a new logic name: a universe
name Reserve. It is not static, and we do not require that it belong to
the vocabulary of every static algebra. If the vocabulary of state
S contains Reserve, then the set
{x: S x
Reserve}
is the reserve of S . Intuitively the reserve is a naked set.