位相空間論といえばブルバキですが、その定義は次のようなものです。 DÉFINITION 1. On appelle structure topologique (ou plus brièvement topologie) sur un ensemble $X$ une structure constituée par la donnée d’un ensemble $\mathfrak{O}$ de parties de $X$ possédant les propriétés suivantes (dites axiomes …