17.12. MULTIRELOIDS

264

2

.

StarComp(

m

;

λi

arity

m

: id

Obj

m

i

) =

l

(

RLD

(

A

)

StarComp(

A

;

H

)

A

GR

m, H

Q

i

arity

m

GR id

Obj

m

i

)

=

l

(

RLD

(

A

)

StarComp(

A

;

λi

arity

m

:

H

i

)

A

GR

m, H

Q

i

arity

m

GR id

Obj

m

i

)

=

l

(

RLD

(

A

)

StarComp(

A

;

λi

arity

m

: id

X

i

)

A

GR

m, X

Q

i

arity

m

Obj

m

i

)

=

l

(

RLD

(

A

)

(

A

Q

X

)

A

GR

m, X

Q

i

arity

m

Obj

m

i

)

=

l

RLD

(

A

)

A

A

GR

m

=

m.

3

Using properties of generalized filter bases,

b

6

StarComp(

a

;

f

)

A

GR

a, B

GR

b, F

Y

i

n

GR

f

i

:

B

6

StarComp(

A

;

F

)

A

GR

a, B

GR

b, F

Y

i

n

GR

f

i

:

B

6

*

(

C

)

Y

F

+

A

A

GR

a, B

GR

b, F

Y

i

n

GR

f

i

:

A

6

*

(

C

)

Y

F

1

+

B

A

GR

a, B

GR

b, F

Y

i

n

GR

f

i

:

A

6

StarComp(

B

;

F

)

A

6

StarComp(

b

;

f

)

.

Definition

1364

.

Let

f

be a multireloid of the form

A

. Then for

i

dom

A

RLD

Pr

i

f

=

l

A

i

D

Pr

i

E

GR

f.

Proposition

1365

.

Pr

RLD

i

f

=

h

Pr

i

i

GR

a

for every multireloid

a

and

i

arity

a

, given a set

A

⊇ h

Pr

i

i

a

.

FiXme

: Describe it with anchored relations instead.

Proof.

It’s enough to show that

h

Pr

i

i

GR

f

is a filter.

That

h

Pr

i

i

GR

f

is an upper set is obvious.

Let

X, Y

∈ h

Pr

i

i

GR

f

. Then there exist

F, G

GR

f

such that

X

= Pr

i

F

,

Y

= Pr

i

G

. Then

X

Y

Pr

i

(

F

G

)

∈ h

Pr

i

i

GR

f

. Thus

X

Y

∈ h

Pr

i

i

GR

f

.

Definition

1366

.

Q

RLD

X

=

d

RLD

(

λi

dom

X

:Base(

X

i

))

X

Q

X

for every indexed family

X

of filters on powersets.

Proposition

1367

.

Pr

RLD

k

Q

RLD

x

=

x

k

for every indexed family

x

of proper

filters.

Proof.

Pr

RLD

k

Q

RLD

x

=

h

Pr

k

i

Q

RLD

x

=

x

k

.