background image

More about filters

I will denote Base

(

A

)

the set on which the filter

A

is defined.

I will denote the principal filter on a set

A

corresponding to

a set

X

as

A

X .

Ultrafilters are atoms of the lattice of filter objects (atomic
filters).

8