ultranet
A net on a set is said to be an ultranet or universal net if whenever , is either eventually in or eventually in .
:
- •
It can be shown that every net has a universal
subnet.
- •
When is a locally compact topological space, a universal net in is either convergent or it “goes to ” (it eventually leaves every compact subset).