So, still working through the convergence notes here:
And I was wondering if somebody could help me finish the proof of Kelley's Theorem, which states that every net admits a universal subnet.
It's on page 12, and I followed up to the end of the second paragraph, but then when we assume that there is at least one $Y\in \mathcal A$ such that the net $\bf x$ is not cofinal in $Y\cap A$, I am lost after that.
What I do understand is: why we are able to assume this (since the negation of that assumption leads to the desired result as proved in the previous paragraph)
What I am confused about: I am pretty sure the $Z$ is a typo as it is not anywhere else, and the obvious guess is that it should be a $A$ (or maybe there is a missing quantifier and it really should be a $Z$?), but even with this modification, I still confused how the previous case applies since it seemed to be a much different hypothesis.
That is, (assuming my modification is correct, which it may very well not be) we have the assumption that $x$ is eventually in $X\backslash (A\cap Y)$ for a particular $Y$, but in the previous case we had a much stronger assumption for the argument.
I realize most of this makes no sense unless one has read the proof in the notes linked above, and this is a lot of me to ask of anyone, but I spent quite a bit of time on this and I am definitely getting nowhere.
I found a few other proofs of this theorem, but most of them seem to utilize the very machinery that these notes are working towards developing (filters), so they are not appropriate to use as as helper here.