分離公理(T0-T4 公理系など)のトポロジカル構造の説明