aboutsummaryrefslogtreecommitdiff
path: root/cyn/n1.lyx
diff options
context:
space:
mode:
Diffstat (limited to 'cyn/n1.lyx')
-rw-r--r--cyn/n1.lyx12
1 files changed, 6 insertions, 6 deletions
diff --git a/cyn/n1.lyx b/cyn/n1.lyx
index 21cc0c8..d1f538e 100644
--- a/cyn/n1.lyx
+++ b/cyn/n1.lyx
@@ -608,11 +608,11 @@ Una familia de conjuntos es una colección
Unión arbitraria:
\series default
-\begin_inset Formula $\cup{\cal C}=\{x|\exists A\in{\cal C}:x\in A\}$
+\begin_inset Formula $\cup{\cal C}=\{x|\exists A\in{\cal C}\mid x\in A\}$
\end_inset
;
-\begin_inset Formula $\cup_{i\in I}A_{i}=\{x|\exists i\in I:x\in A_{i}\}$
+\begin_inset Formula $\cup_{i\in I}A_{i}=\{x|\exists i\in I\mid x\in A_{i}\}$
\end_inset
@@ -624,11 +624,11 @@ Unión arbitraria:
Intersección arbitraria:
\series default
-\begin_inset Formula $\cap{\cal C}=\{x|\forall A\in{\cal C}:x\in A\}$
+\begin_inset Formula $\cap{\cal C}=\{x|\forall A\in{\cal C}\mid x\in A\}$
\end_inset
;
-\begin_inset Formula $\cap_{i\in I}A_{i}=\{x|\forall i\in I:x\in A_{i}\}$
+\begin_inset Formula $\cap_{i\in I}A_{i}=\{x|\forall i\in I\mid x\in A_{i}\}$
\end_inset
@@ -888,7 +888,7 @@ Conjunto final:
Dominio:
\series default
-\begin_inset Formula $\text{Dom}R=\{a\in A|\exists b\in B:(a,b)\in R\}$
+\begin_inset Formula $\text{Dom}R=\{a\in A|\exists b\in B\mid (a,b)\in R\}$
\end_inset
.
@@ -900,7 +900,7 @@ Dominio:
Imagen:
\series default
-\begin_inset Formula $\text{Im}R=\{b\in B|\exists a\in A:(a,b)\in R\}$
+\begin_inset Formula $\text{Im}R=\{b\in B|\exists a\in A\mid (a,b)\in R\}$
\end_inset
.