19.4. THE ORDER OF POINTFREE FUNCOIDS

291

2

.

αX

def

=

d

f

R

h

f

i

X

(by corollary

515

all joins on

B

exist). We have

α

A

=

B

;

α

(

I

t

Z

0

J

) =

l

h

f

i

(

I

t

Z

0

J

)

f

R

=

l

h

f

i

(

I

t

A

J

)

f

R

=

l

h

f

i

I

t

B

h

f

i

J

f

R

=

l

h

f

i

I

f

R

t

B

l

h

f

i

J

f

R

=

αI

t

B

αJ

(used theorem

1498

). By theorem

1510

the function

α

can be continued to

h

h

i

for

an

h

pFCD

(

A

,

B

). Obviously

f

R

:

h

w

f.

(23)

And

h

is the least element of

pFCD

(

A

,

B

) for which the condition (

23

holds. So

h

=

d

R

.

1

.

X

h

l

R

i

Y

Y

u

B

D

l

R

E

X

6

=

B

Y

u

B

l

h

f

i

X

f

R

6

=

B

f

R

:

Y

u

B

h

f

i

X

6

=

B

f

R

:

X

[

f

]

Y

(used theorem

607

).

Corollary

1525

.

If (

A

,

Z

0

) and (

B

,

Z

1

) are primary filtrators over boolean

lattices then

pFCD

(

A

,

B

) is a complete lattice.

Proof.

Apply [

27

].

Theorem

1526

.

Let

A

and

B

be starrish join-semilattices. Then for

f, g

pFCD

(

A

,

B

):

1

.

h

f

t

g

i

x

=

h

f

i

x

t h

g

i

x

for every

x

A

;

2

. [

f

t

g

]=[

f

]

[

g

].

Proof.

1

Let

α

X

def

=

h

f

i

x

t h

g

i

x

;

β

Y

def

=

f

1

y

t

g

1

y

for every

x

A

,

y

B

.

Then

y

6

B

αx

y

6 h

f

i

x

y

6 h

g

i

x

x

6

f

1

y

x

6

g

1

y

x

6

f

1

y

t

g

1

y

x

6

βy.