Definizioni

Un insieme è una collezione di oggetti, detti elementi

Un sottoinsieme $S$ di $X$ è un insieme costituito da parte degli elementi di $X$: $S \subseteq X$ se $\forall x: x \in S \Rightarrow x \in X$

Un insieme è finito se ha un numero finito di elementi, il numero di elementi è indicato con $|X|$ ed è detto cardinalità

L’insieme delle parti $P(X)$ è l’insieme di tutti i sottoinsiemi di $X$, ha cardinalità $2^X$

Operazioni tra insiemi

• unione: $S \cup T = \{ x|x \in S \lor x \in T \}$
• intersezione: $S \cap T = \{ x| x \in S \land x \in T \}$
• differenza: $S \backslash T = \{ x | x \in S \land x \notin T \}$