Commit 488a6d8e authored by ioa's avatar ioa

Further changes to ease parsing.

parent 30a2e79d
......@@ -3297,10 +3297,10 @@ Regular Spaces: Every locally compact regular space is Baire.
\medskip
\noindent{\bf FORM 107.} M.~Hall's Theorem: Let $\{S(\alpha):
\alpha\in A\}$ be a collection of finite subsets (of a set $X$) then if
$$
\hbox{for each finite $F \subseteq A$
there is an injective choice function on $F$}\leqno(*)
$$
then there is an injective choice function on $A$. (That is, a 1-1
function $f$ such that $(\forall\alpha\in A)(f(\alpha)\in S(\alpha))$.)
(According to a theorem of P.~Hall ($*$) is equivalent to $\left
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment