Subnet of a net
= Subnet of a net
= Subnet
{synonym}
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.