A subnet is obtained from a net by an order-preserving cofinal map from another directed index set. It preserves any limit of the original net, and eventual properties still hold along it. Every net in a compact set has a convergent subnet. This supplies compactness arguments when sequential compactness is unavailable.
New to topics? Read the docs here!