A net is a family indexed by a directed ordered set: every pair of indices has a common upper bound. It converges to when it is eventually in every neighbourhood of . Unlike sequences, nets characterize closure in every topological space: a point is in the closure of a set precisely when some net in that set converges to it.
New to topics? Read the docs here!