一様位相だって？
距離が入っていなくても基本列などの概念が入りうるのか？
フィルターに関する完備というのもありうるのか？
大学でもきちんと位相空間を習ったのに、何故私は知らないのだ？