for X being non empty TopSpace st InclPoset the topology of X is continuous holds
for Y being injective T_0-TopSpace holds
( oContMaps (X,Y) is complete & oContMaps (X,Y) is continuous )