A net on a set is said to be an ultranet or universal net if whenever , is either eventually in or eventually in .

Properties:

• 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 infinity” (it eventually leaves every compact subset).