Mathématiques, informatique, politique et poésie
Soit (E,T) un espace topologique. Un ouvert B est une base pour la topologie T ssi tout ouvert de T est l'union d'éléments de B.
Une sous ensemble B de E est une base si et seulement si :