theorem Th22: :: WAYBEL28:22

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