Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
SET axioms SET001-0.ax Membership and subsets (element ∈ subset and subset ⊆ superset) ⇒ element ∈ superset cnf(membership in subsets, axiom) cnf(subsets axiom1 , axiom) subset ⊆ superset or member of 1 not of2
Add to Reading List
Document Date: 2017-03-19 21:35:31
Open Document
File Size: 784,24 KB
Share Result on Facebook
SET axioms SET001-0.ax Membership and subsets (element ∈ subset and subset ⊆ superset) ⇒ element ∈ superset cnf(membership in subsets, axiom) cnf(subsets axiom1 , axiom) subset ⊆ superset or member of 1 not of2