| http://www.w3.org/ns/prov#value | - On the other hand if one first develops the theory of nets (aka Moore-Smith Convergence), not only is that a powerful tool for all sorts of other purposes, but its development is a natural and intuitive generalization of sequences, and the place where Zorn's Lemma enters (the proof that any net has a universal subnet) is much clearer than in the proof of the subbase lemma.
|
