background image

Some properties of funcoids

Let

f

,

g

be funcoids,

X

,

Z

be filters. Then

X

[

g

f

]

Z

iff

there exists an ultrafilter

y

such that

X

[

f

]

y

and

y

[

g

]

Z

.

Let

f

,

g

,

h

be funcoids. Then

f

(

g

h

) =

f

g

f

h.

Also

f

(

A ×

FCD

B

) =

id

B

FCD

f

id

A

FCD

.

29