for T being set
for F being SetSequence of T
for x being object st F is V52() & ex k being Nat st
for n being Nat st n > k holds
x in F . n holds
x in meet F