theorem :: WAYBEL28:18

for L being non empty RelStr holds lim_inf-Convergence L is (SUBNETS)