theorem Th40: :: YELLOW_6:40

for S being non empty 1-sorted
for C being Convergence-Class of S holds C c= Convergence (ConvergenceSpace C)