background image

Order of funcoids

The set

FCD

(

A

;

B

)

of funcoids from

A

to

B

is a poset with

order defined by the formula:

f

g

[

f

]

[

g

]

.

Moreover it is a complete, distributive, co-Brouwerian, atom-
istic lattice.

23