Category:Definitions/Set Equality

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Set Equality.
Related results can be found in Category:Set Equality.

Let $S$ and $T$ be sets.

Definition 1

$S$ and $T$ are equal if and only if they have the same elements:

$S = T \iff \paren {\forall x: x \in S \iff x \in T}$

Definition 2

$S$ and $T$ are equal if and only if both:

$S$ is a subset of $T$


$T$ is a subset of $S$


This category has only the following subcategory.

Pages in category "Definitions/Set Equality"

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