for S being non empty 1-sorted
for N being net of S
for X being set st N is_eventually_in X holds
N is_often_in X