Content deleted Content added
better shortdesc |
Changed order of reasons for contradiction to clarify. This is a more logical order as it's clear to see xi cannot be in f(xi) to get B at first glance, then leading to the next contradictory statement. |
||
Line 24:
Equivalently, and slightly more formally, we just proved that the existence of ξ ∈ ''A'' such that ''f''(ξ) = ''B'' implies the following [[contradiction]]:
:<math>\begin{aligned}
\xi
\xi \in B &\iff \xi \
\end{aligned}</math>
| |||