Category:Set Difference

From ProofWiki

Jump to navigation Jump to search

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 20 subcategories, out of 20 total.

A

Algebra of Sets is Closed under Set Difference‎ (3 P)

D

De Morgan's Laws‎ (1 C, 53 P)

E

Equal Set Differences iff Equal Intersections‎ (3 P)
Equivalence of Definitions of Symmetric Difference‎ (6 P)
Examples of Set Difference‎ (4 P)

I

Image of Set Difference under Mapping‎ (7 P)
Image of Set Difference under Relation‎ (3 P)
Intersection with Set Difference is Set Difference with Intersection‎ (3 P)

M

Measure of Set Difference with Subset‎ (2 P)

O

One-to-Many Image of Set Difference‎ (3 P)

R

Relative Complement‎ (7 C, 34 P)

S

Set Difference and Intersection form Partition‎ (5 P)
Set Difference Intersection with First Set is Set Difference‎ (3 P)
Set Difference Intersection with Second Set is Empty Set‎ (3 P)
Set Difference is Right Distributive over Set Intersection‎ (6 P)
Set Difference is Subset‎ (3 P)
Set Difference Union Intersection‎ (4 P)
Set Difference with Set Difference‎ (3 P)
Set Difference with Set Difference is Union of Set Difference with Intersection‎ (3 P)
Set Difference with Union‎ (2 P)

Pages in category "Set Difference"

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

A

Algebra of Sets is Closed under Set Difference

C

D

E

I

L

Larger Set has Larger Set Difference

M

Measure of Set Difference with Subset

O

P

R

S

U

Union with Set Difference

Retrieved from "https://proofwiki.org/w/index.php?title=Category:Set_Difference&oldid=331375"

Set Theory