 Cauchy nets and filters are generalizations to uniform spaces.Even more generally, Cauchy spaces are spaces in which Cauchy filters may be defined.Convergence implies "Cauchy-convergence", and Cauchy-convergence, together with the existence of a convergent subsequence implies convergence.