theorem :: TOPS_5:46

for T1, T2, S1, S2 being non empty TopSpace
for f being Function of T1,S1
for g being Function of T2,S2 st f is open & g is open holds
[:f,g:] is open