User:Ascii/ProofWiki Sampling

Foundational Set Theoretic Concepts

 * Set
 * Element
 * Membership Relation
 * Subset
 * Proper Subset
 * Superset
 * Proper Superset
 * Empty Set
 * Singleton
 * Power Set
 * Set Union
 * Set Intersection
 * Set Complement
 * Set Difference
 * Symmetric Difference

Relation Theory

 * Binary Relation
 * Domain
 * Range


 * Trivial Relation
 * Null Relation
 * Diagonal Relation


 * Image of Relation
 * Image of Element
 * Image of Subset


 * Composition of Relations
 * Complement of Relation
 * Inverse Relation


 * Preimage of Relation
 * Preimage of Element
 * Preimage of Subset


 * Restriction of Relation
 * Extension of Relation
 * Agreement/Relations
 * Combinable/Relations


 * Many-to-One Relation
 * One-to-Many Relation
 * One-to-One Relation
 * Many-to-Many Relation


 * Reflexive Relation
 * Antireflexive Relation
 * Non-Reflexive Relation


 * Symmetric Relation
 * Asymmetric Relation
 * Antisymmetric Relation
 * Non-Symmetric Relation


 * Transitive Relation
 * Antitransitive Relation
 * Non-Transitive Relation


 * Equivalence Relation
 * Equivalence Class
 * Quotient Set