background image

Principal funcoids

Let

A

and

B

be sets.

For every binary relation

F

P

(

A

×

B

)

there exists a

funcoid

FCD

(

A

;

B

)

F

FCD

(

A

;

B

)

defined by the formula (for

every

X

P

A

)

h↑

FCD

(

A

;

B

)

F

i

X

=

B

F

[

X

]

.

This funcoid is unique because a funcoid is determined by
the values of its first component on principal filters.
I call funcoids corresponding to a binary relation by the for-
mula above as

principal funcoids

.

16