for X being set holds Lim X c= On X