# Sets

This page discusses sets, a topic that forms the foundation of arithmetic and real analysis alike.

set
a collection
element
a member of a set. We denote $x$ is a element of set $S$ by $x \in S$
empty set, $\varnothing$
the set with no elements
subset
a set $S$ is a subset of $T$, written $S \subset T$, if $\forall x$ if $x \in S \Rightarrow x \in T$
finite set
a set in which each element can be matched with exactly one element of the set $\{1, 2, ..., n\}$
set equality
two sets $S$ and $T$ are equal if $S \subset T$ and $T \subset S$

Prove: For any set, $S, \varnothing \subset S.$

Consider the statement $x \in \varnothing \Rightarrow x \in S$ which comes from the definition of a subset. $\forall x, x \notin\varnothing.$ This implication's antecedent is always false. Therefore, the implication is always true.

Title Authored on Content type
R Dataset / Package psych / epi.dictionary March 9, 2018 - 1:06 PM Dataset
R Dataset / Package datasets / Formaldehyde March 9, 2018 - 1:06 PM Dataset
R Dataset / Package Stat2Data / CancerSurvival March 9, 2018 - 1:06 PM Dataset
R Dataset / Package MASS / cpus March 9, 2018 - 1:06 PM Dataset
R Dataset / Package MASS / DDT March 9, 2018 - 1:06 PM Dataset