diff --git a/Formelsammlung.pdf b/Formelsammlung.pdf
index fe18c72..658e25e 100644
Binary files a/Formelsammlung.pdf and b/Formelsammlung.pdf differ
diff --git a/Formelsammlung.tex b/Formelsammlung.tex
index 587a66f..2aa1d24 100644
--- a/Formelsammlung.tex
+++ b/Formelsammlung.tex
@@ -246,6 +246,54 @@ $\cfrac{1}{2}\sqrt{2} \cong 0.70710678$ und $\cfrac{1}{2}\sqrt{3} \cong 0.866025
 	de Morganschen Gesetz & $A \setminus B = A \cap \overline{B}$ \\
 	\end{tablebox}
 
+\subsection{Kartesisches Produkt}
+Das kartesische Produkt $A\times B$ (A kreuz B) ist die Menge aller geordneten Paare $\left( a , b \right)$ mit $a \in A$ und $b \in B$
+
+
+\end{sectionbox}
+
+% Relationen
+% ----------------------------------------------------------------------
+\section{Relationen}
+
+\begin{sectionbox}
+
+\subsection{Definition}
+	Eine (zweistellige) Relation R zwischen zwei Mengen $A\times B$ ist eine Teilmenge des kartesischen Produkts.
+
+	$R \subseteq A\times B$
+
+\subsection{Äquivalenzrelation}
+	Eine Äquivalenzrelation ist eine zweistellige Relation auf einer Ausgangsmenge M mit folgenden drei Eigenschaften:
+
+\begin{itemize}
+
+\item \textbf{Reflexivität}
+
+	Jedes Element der Ausgangsmenge M steht sich selbst in Beziehung.
+
+	\begin{quote}
+		Für alle $a \in M$ gilt $\left( a , a \right) \in R$
+	\end{quote}
+
+\item \textbf{Symmetrie}
+
+	Zu jedem Paar $\left( a , b \right)$ ist auch die Umkehrung in $R$ enthalten.
+
+	\begin{quote}
+		Wenn $\left( a , b \right) \in R$, dann ist auch $\left( b , a \right) \in R$
+	\end{quote}
+
+\item \textbf{Transitivität}
+
+	Stehen drei Elemente verkettet in Beziehung, dann stehen sie auch direkt in Beziehung.
+
+	\begin{quote}
+		Wenn $\left( a , b \right) , \left( b , c \right) \in R$ dann ist auch $\left(a , c \right) \in R$
+	\end{quote}
+
+\end{itemize}
+
 \end{sectionbox}
 
 % Aussagenlogik