On T1 reflex of topological space

Abstract

Summary. This article contains a definition of T1 reflex of a topological space as a quotient space which is T1 and fulfils the condition that every continuous map f from a topological space T into S being T1 space can be considered as a superposition of two continuous maps: the first from T onto its T1 reflex and the last from T1 reflex of T into S. MML Identifier:T_1TOPSP. WWW:http://mizar.org/JFM/Vol10/t_1topsp.htm