background image

The reloids induced by a funcoid

Every funcoid

f

FCD

(

A

;

B

)

induces a reloid from

A

to

B

in two ways, namely intersection of

outward

relations and

union of

inward

direct products of filters:

(

RLD

)

out

f

=

def

l

RLD

(

A

;

B

)

[

GR

f

];

(

RLD

)

in

f

=

def

G

{A ×

RLD

B | A ∈

F

(

A

)

,

B ∈

F

(

B

)

,

A ×

FCD

B ⊑

f

}

.

It’s simple to show that

(

RLD

)

in

f

=

G

{

a

×

RLD

b

|

a

is an atom of

F

(

A

)

, b

is an atom

of

F

(

A

)

, a

×

FCD

b

f

}

.

I will skip some minor results.

45