Set Theory

Introduction

Let $S$ and $T$ be two sets

S = {Notation for elements in S | Properties which specifies being in S}

The vertical bar should be read as "such that"

If $S \in T$ , then $T ∖ S := {x \in T | x \notin S}$ is called the compliment of $S$ in $T$ .

$S \times T = {(a, b) | a \in S, b \in T}$ is the cartesian product of $S$ and $T$ .