let C be Convergence-Class of S; :: thesis: C is Relation-like
C is Subset of by Def21;
hence C is Relation-like ; :: thesis: verum