for T being non empty TopSpace
for S being non-empty SetSequence of T st S is V176() holds
for F being Subset-Family of T st F = rng S holds
F is centered