The axioms are intended to be true statements about the cumulative hierarchy of sets, built in stages (ranks).
: The union of two sets is a set.