:: deftheorem defines oContMaps WAYBEL26:def 1 :
for X, Y being non empty TopSpace holds oContMaps (X,Y) = ContMaps (X,(Omega Y));