background image

The funcoid induced by a reloid

Every reloid

f

RLD

(

A

;

B

)

induces a funcoid

(

FCD

)

f

FCD

(

A

;

B

)

by the following formulas:

X

[(

FCD

)

f

]

Y ⇔ ∀

F

GR

f

:

X

FCD

(

A

;

B

)

F

Y

;

h

(

FCD

)

f

iX

=

FCD

(

A

;

B

)

F

X |

F

GR

f

 

.

We have for every composable reloids

f

and

g

:

(

FCD

)(

g

f

) = ((

FCD

)

g

)

((

FCD

)

f

)

.

I will skip some minor facts on this topic.

44