分離定理とか、コンパクト集合とかは位相分野ではないんですか?