State/Axiom of regularity

=Metadata=