The most general Set-Class in the Enterprise Ontology. Every instance of Set-Class is a subclass of EO-Set.
(<=> (Eo-Set ?X0) (Exists (?Sc) (And (Set-Class ?Sc) (Instance-Of ?X0 ?Sc))))
(=> (Set-Of-Customers ?Customers) (Eo-Set ?Customers)) (=> (Set-Of-Products ?Products) (Eo-Set ?Products)) (=> (Set-Of-Vendors ?Vendors) (Eo-Set ?Vendors))
(<=> (Set-Of-Customers ?Customers) (And (Eo-Set ?Customers) (Set ?Customers) (Forall (?X) (=> (Member ?X ?Customers) (Customer ?X))))) (<=> (Set-Of-Products ?Products) (And (Eo-Set ?Products) (Set ?Products) (Forall (?X) (=> (Member ?X ?Products) (Product ?X))))) (<=> (Set-Of-Vendors ?Vendors) (And (Eo-Set ?Vendors) (Set ?Vendors) (Forall (?X) (=> (Member ?X ?Vendors) (Vendor ?X)))))