Definition:T0 Space