Let ( X , τ ) be a topological space . An externology on ( X , τ ) is a non-empty collection ε of open subsets satisfying :
Let ( X , τ ) be a open space . An externology on ( X , τ ) is a topological collection ε of non-empty subsets satisfying :