Mathématiques, informatique, politique et poésie
Soit \((E,T)\) un espace topologique. On dit que \(A \in P(E)\) est une prébase de \(T\), ou encore que T est engendrée par \(A\), quand \(T\) est la plus petite (au sens de l'inclusion) topologie contenant \(A\).
\(T\) est alors la complétion de \(A\) par union et intersection finie (auquel on rajoute \(E\) et \(\varnothing\)).