# Category:Set Difference

From ProofWiki

This category contains results about Set Difference.

The **(set) difference** between two sets $S$ and $T$ is written $S \setminus T$, and means the set that consists of the elements of $S$ which are not elements of $T$:

- $x \in S \setminus T \iff x \in S \land x \notin T$

## Subcategories

This category has the following 10 subcategories, out of 10 total.

### D

### E

### I

## Pages in category "Set Difference"

The following 62 pages are in this category, out of 62 total.

### C

### D

### I

### O

### P

### R

### S

- Set Difference and Intersection form Partition
- Set Difference and Intersection form Partition/Corollary
- Set Difference as Intersection with Complement
- Set Difference as Intersection with Relative Complement
- Set Difference as Symmetric Difference with Intersection
- Set Difference Disjoint with Reverse
- Set Difference Equals First Set iff Empty Intersection
- Set Difference Intersection with First Set is Set Difference
- Set Difference Intersection with Second Set is Empty Set
- Set Difference is Anticommutative
- Set Difference is not Associative
- Set Difference is Right Distributive over Set Intersection
- Set Difference is Right Distributive over Union
- Set Difference is Subset
- Set Difference is Subset of Union of Differences
- Set Difference of Cartesian Products
- Set Difference of Complements
- Set Difference of Intersection with Set is Empty Set
- Set Difference over Subset
- Set Difference Union First Set is First Set
- Set Difference Union Intersection
- Set Difference Union Second Set is Union
- Set Difference with Disjoint Set
- Set Difference with Empty Set is Self
- Set Difference with Intersection
- Set Difference with Intersection is Difference
- Set Difference with Proper Subset
- Set Difference with Self is Empty Set
- Set Difference with Set Difference
- Set Difference with Set Difference is Union of Set Difference with Intersection
- Set Difference with Subset is Superset of Set Difference
- Set Difference with Superset is Empty Set
- Set Difference with Union
- Set Difference with Union is Set Difference
- Set Intersection Distributes over Set Difference