State/Axiom of unions