aboutsummaryrefslogtreecommitdiff
path: root/cyn/n2.lyx
diff options
context:
space:
mode:
Diffstat (limited to 'cyn/n2.lyx')
-rw-r--r--cyn/n2.lyx10
1 files changed, 5 insertions, 5 deletions
diff --git a/cyn/n2.lyx b/cyn/n2.lyx
index 386c747..bc13575 100644
--- a/cyn/n2.lyx
+++ b/cyn/n2.lyx
@@ -121,7 +121,7 @@ aplicación
\end_inset
, de modo que
-\begin_inset Formula $f=\{(n,n^{2}):n\in\mathbb{N}\}$
+\begin_inset Formula $f=\{(n,n^{2})\mid n\in\mathbb{N}\}$
\end_inset
.
@@ -221,7 +221,7 @@ imagen directa
\end_inset
:
-\begin_inset Formula $\text{Im}f=f(A)=\{b\in B:\exists a:f(a)=b\}\subseteq B$
+\begin_inset Formula $\text{Im}f=f(A)=\{b\in B\mid\exists a\mid f(a)=b\}\subseteq B$
\end_inset
.
@@ -1359,7 +1359,7 @@ producto directo
como el conjunto
\begin_inset Formula
\[
-\prod_{i\in I}A_{i}=\left\{ f:I\rightarrow\cup_{i\in I}:f(i)\in A_{i}\forall i\in I\right\}
+\prod_{i\in I}A_{i}=\left\{ f\mid I\rightarrow\bigcup_{i\in I}\;\middle|\;f(i)\in A_{i}\forall i\in I\right\}
\]
\end_inset
@@ -1383,7 +1383,7 @@ Si
es finito y se escribe como una lista, podemos escribir el conjunto como
-\begin_inset Formula $A_{1}\times\cdots\times A_{n}=\{(x_{1},\dots,x_{n}):x_{i}\in A_{i},i=1,\dots,n\}$
+\begin_inset Formula $A_{1}\times\cdots\times A_{n}=\{(x_{1},\dots,x_{n})\mid x_{i}\in A_{i},i=1,\dots,n\}$
\end_inset
.
@@ -1420,7 +1420,7 @@ Sean
\end_inset
y un conjunto de biyecciones
-\begin_inset Formula $\{f_{i}:A_{i}\rightarrow B_{\sigma(i)}\}_{i\in I}$
+\begin_inset Formula $\{f_{i}\mid A_{i}\rightarrow B_{\sigma(i)}\}_{i\in I}$
\end_inset
, entonces existe una biyección