background image

Funcoids & pretopologies

Let

α

be a pretopology, so

α

is a function

F

(

)

. Then

there exists a funcoid

f

such that

h

f

i

X

=

G

{

α

(

x

)

|

x

X

}

(the join is taken on the lattice of filters).
So funcoids are a generalization of pretopologies.

17