Axiom Axiom-Of-Regularity

Documentation@Ol%Frame-Ontology:
every non-empty set has an element with which it has no members in common.

Notes:


Defining axiom of Axiom-Of-Regularity:

(Forall (?S)
        (=> (Not (Empty ?S))
            (Exists (?U) (And (Member ?U ?S) (Disjoint ?U ?S)))))