diff options
Diffstat (limited to 'library/topology/basis.tex')
| -rw-r--r-- | library/topology/basis.tex | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/library/topology/basis.tex b/library/topology/basis.tex index 61a358f..15910f9 100644 --- a/library/topology/basis.tex +++ b/library/topology/basis.tex @@ -47,8 +47,8 @@ \end{definition} \begin{definition}\label{genopens} - $\genOpens{B}{X} = \{ U\in\pow{X} \mid \text{for all $x\in U$ there exists $V\in B$ - such that $x\in V\subseteq U$} \}$. + $\genOpens{B}{X} = \left\{ U\in\pow{X} \middle| \textbox{for all $x\in U$ there exists $V\in B$ + \\ such that $x\in V\subseteq U$}\right\}$. \end{definition} \begin{lemma}\label{emptyset_in_genopens} |