background image

Composition of funcoids

The composition of binary relations induces for principal
funcoids composition which complies with the formulas:

h

g

f

i

=

h

g

i ◦ h

f

i

and

h

(

g

f

)

1

i

=

h

f

1

i ◦ h

g

1

i

.

We can define

composition

for funcoids by the same for-

mulas. Strictly speaking the composition of funcoids is
defined by the formula:

(

B

;

C

;

α

2

;

β

2

)

(

A

;

B

;

α

1

;

β

1

) = (

A

;

C

;

α

2

α

1

;

β

1

β

2

)

.

Composition of funcoids is associative:

h

(

g

f

) = (

h

g

)

f .

19