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