:: deftheorem defines T_0-canonical_map T_0TOPSP:def 6 :
for T being non empty TopSpace holds T_0-canonical_map T = Proj (Indiscernible T);