Review Note
Last Update: 11/12/2024 10:01 PM
Current Deck: ETH CS::Discrete Math
Published
Fields:
Front
Definition of set equality
Back
All elements that are in one set, are also in the other set and all elements that are in the other set, are in the first set as well. Informally we are allowed to say that:
\(A \subseteq B \land B \subseteq A \iff A = B\)
More formally, the definition is:

\(A \subseteq B \land B \subseteq A \iff A = B\)
More formally, the definition is:

Suggested Changes:
Deck Changes (Suggestion to move the Note to the following Deck):
Field Changes:
Tag Changes: