Compactness

Abstract

Every student of topology has heard of filters: If I is a nonempty set, a filter is a set F of subsets of I such that:

• I ∈ F, Ø ∉ F;

• if X, Y ∈ F then X ∩ Y ∈ F

• if X ∈ F and X ⊂ Y, then Y ∈ F.

Et por l’achaison de celle bataille et de celle ghere nulo home ne pooit aler per chemin qui ne fust pris: et ce estoit deverç dont il estoient venu ; mes avant pooient il bien aler. Et adonc les deus frers distroient entr’aus “puis que nos ne poons retorner a Gostantinople con notre mercandie, or alon por la voie dou levant ...

M.P.