:: deftheorem defines is_often_in WAYBEL_0:def 12 :
for L being non empty 1-sorted
for N being non empty NetStr over L
for X being set holds
( N is_often_in X iff for i being Element of N ex j being Element of N st
( i <= j & N . j in X ) );