be x a topological space with t topology