:: deftheorem Def18 defines Convergence-Class YELLOW_6:def 18 :
for S being non empty 1-sorted
for b₂ being set holds
( b₂ is Convergence-Class of S iff b₂ c= [:(NetUniv S), the carrier of S:] );