background image

Some Galois connections

For every funcoid

f

we have

(

FCD

)(

RLD

)

in

f

=

f .

(

FCD

):

RLD

(

A

;

B

)

FCD

(

A

;

B

)

is the lower adjoint of

(

RLD

)

in

:

FCD

(

A

;

B

)

RLD

(

A

;

B

)

. Thus

1.

(

FCD

)

F

S

=

F

{

(

FCD

)

f

|

f

S

}

;

2.

(

RLD

)

in

d

T

=

d

{

(

RLD

)

in

f

|

f

T

}

for every set

S

of reloids or

T

of funcoids.

46