diff --git a/kompilat/01-prolog.tex b/kompilat/01-prolog.tex
index 32a44b8..8c32aa6 100644
--- a/kompilat/01-prolog.tex
+++ b/kompilat/01-prolog.tex
@@ -370,7 +370,7 @@ Všimněte si, že $\{x,y\}$ je množina shodná s $\{y, x\}$, kdežto uspořád
 
 \begin{defi}\index{součin!kartézský}
 	Nechť $A$ a $B$ jsou množiny. Symbolem $A \times B$ označujeme množinu všech uspořádaných dvojic tvaru $(x,y)$, kde $x \in A$ a $y \in B$. Tedy symbolicky
-		\[ A \times B \ceq \big\{ (x,y) \,\big|\, x\in A \ \text{a} \ x\in B \big\}. \]
+		\[ A \times B \ceq \big\{ (x,y) \,\big|\, x\in A \ \text{a} \ y\in B \big\}. \]
 	Množina $A \times B$ se nazývá \emph{kartézský součin} množin $A$ a $B$.
 \end{defi}