:: deftheorem Def19 defines Convergence YELLOW_6:def 19 :
for T being non empty TopSpace
for b₂ being Convergence-Class of T holds
( b₂ = Convergence T iff for N being net of T
for p being Point of T holds
( [N,p] in b₂ iff ( N in NetUniv T & p in Lim N ) ) );