for i being Element of I holds
( (I --> T) . i is T_1 & (I --> T) . i is TopSpace-like ) by FUNCOP_1:13;
hence product (I --> T) is T_1 by Th39; :: thesis: verum