for T being TopSpace st T is T_1 & T is Lindelof holds
( ( T is finite-ind & ind T <= 0 ) iff for A, B being closed Subset of T st A misses B holds
{} T separates A,B )