for T being complete Scott TopLattice holds T is T_0-TopSpace