background image

Composition of reloids

Let

f

= (

A

;

B

;

F

)

and

g

= (

B

;

C

;

G

)

be reloids. The

composition

g

f

is defined by the formula

g

f

=

l

RLD

(

A

;

C

)

(

Y

X

)

|

X

GR

F , Y

GR

G

 

.

In other words, the composition corresponds to the filter (on

A

×

C

) defined by the base

{

Y

X

|

X

GR

F , Y

GR

G

}

.

Composition of reloids is associative.

32