( [#] X <> {} & ( for V being Subset of X st V is open holds
(id X) " V is open ) ) by FUNCT_2:171;
hence id X is continuous by TOPS_2:55; :: thesis: verum