1 files changed, 1 insertions, 1 deletions

diff --git a/si/n5.lyx b/si/n5.lyx
index a449826..71f6843 100644
--- a/si/n5.lyx
+++ b/si/n5.lyx
@@ -685,7 +685,7 @@ En lógica de predicados, a todo predicado
 \end_inset
 
  le corresponde un conjunto 
-\begin_inset Formula $\{x\in U:P(x)\}$
+\begin_inset Formula $\{x\in U\mid P(x)\}$
 \end_inset
 
  y una