for n being Nat
for T being non empty TopSpace st T is regular holds
( ( T is finite-ind & ind T <= n ) iff for A being closed Subset of T
for p being Point of T st not p in A holds
ex L being Subset of T st
( L separates {p},A & L is finite-ind & ind L <= n - 1 ) )