for T being set
for F being SetSequence of T st F is V52() holds
lim_inf F = meet F