The semantics of TLA assumes an underlying collection of
<EM>values</EM>.  In the semantics of TLA+, the collection of values
is the collection of all sets in Zermelo-Frankel set theory.