aboutsummaryrefslogtreecommitdiff
path: root/fli/n6.lyx
diff options
context:
space:
mode:
Diffstat (limited to 'fli/n6.lyx')
-rw-r--r--fli/n6.lyx8
1 files changed, 4 insertions, 4 deletions
diff --git a/fli/n6.lyx b/fli/n6.lyx
index f89c446..204b6d1 100644
--- a/fli/n6.lyx
+++ b/fli/n6.lyx
@@ -253,7 +253,7 @@ En relaciones con aridad
dominio
\series default
como
-\begin_inset Formula $\text{Dom}(R)=\{(x_{1},\dots,x_{n-1})|\exists x_{n}:(x_{1},\dots,x_{n})\in R\}$
+\begin_inset Formula $\text{Dom}(R)=\{(x_{1},\dots,x_{n-1})|\exists x_{n}\mid (x_{1},\dots,x_{n})\in R\}$
\end_inset
(si la aridad es
@@ -261,7 +261,7 @@ dominio
\end_inset
, entonces
-\begin_inset Formula $\text{Dom}(R)=\{x|\exists y:xRy\}$
+\begin_inset Formula $\text{Dom}(R)=\{x|\exists y\mid xRy\}$
\end_inset
), y el
@@ -269,7 +269,7 @@ dominio
rango
\series default
como
-\begin_inset Formula $\text{Ran}(R)=\{x_{n}|\exists(x_{1},\dots,x_{n-1}):(x_{1},\dots,x_{n})\in R\}$
+\begin_inset Formula $\text{Ran}(R)=\{x_{n}|\exists(x_{1},\dots,x_{n-1})\mid (x_{1},\dots,x_{n})\in R\}$
\end_inset
(si la aridad es
@@ -277,7 +277,7 @@ rango
\end_inset
, entonces
-\begin_inset Formula $\text{Ran}(R)=\{y|\exists x:xRy\}$
+\begin_inset Formula $\text{Ran}(R)=\{y|\exists x\mid xRy\}$
\end_inset
.