Skip to content

Commit 750d059

Browse files
Fix typo in Dense Linear Orders
1 parent e0ad2dc commit 750d059

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

content/model-theory/basics/dlo.tex

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -45,7 +45,7 @@ \section{Dense Linear Orders}
4545
a_n$. Given $a \in \Domain{M_1}$, find $b \in \Domain{M_2}$ as
4646
follows:
4747
\begin{enumerate}
48-
\item if $a <_2 a_1$ let $b \in \Domain{M_2}$ be such that $b <_2
48+
\item if $a <_1 a_1$ let $b \in \Domain{M_2}$ be such that $b <_2
4949
b_1$;
5050
\item if $a_n <_1 a$ let $b \in \Domain{M_2}$ be such that $b_n <_2 b$;
5151
\item if $a_i <_1 a <_1 a_{i+1}$ for some $i$, then let $b \in

0 commit comments

Comments
 (0)