background image

Principal reloids

Let

F

be a binary relation between sets

A

and

B

.

Then

RLD

(

A

;

B

)

F

= (

A

;

B

;

A

×

B

F

)

is so called the

principal reloid

corresponding to the relation

F

.

31