relativization of a topology