for L being non empty reflexive RelStr holds lim_inf-Convergence L c= Scott-Convergence L