Reformulation de Bourbaki, p. I.3, N° 2, proposition 2, où nos conditions 2 et 3 sont regroupées en une seule : « Toute intersection finie de voisinages de a est un voisinage de a », avec la convention — déjà mentionnée dans la note ci-dessus de la section « Définition par les ouverts » — que l'intersection indexée par ∅ est E.
Via la bijectioncanonique entre applications de P(E) dans P(E) et relations de E dans P(E), explicitée par exemple dans cet exercice corrigé sur Wikiversité.
