18.4. IDENTITY STAROIDS AND MULTIFUNCOIDS

291

Proposition

1503

.

Y

GR id

Strd

A

[

n

]

⇔ ∀

A

∈ A

:

Y

GR

Strd

id

A

[

n

]

for every

filter

A

on a powerset and

Y

P

n

.

Proof.

Take

Y

=

Z

n

X

.

A

∈ A

:

Y

GR

Strd

id

A

[

n

]

⇔ ∀

A

∈ A

:

Z

n

X

GR

Strd

id

A

[

n

]

A

∈ A

:

Y

X

6

id

A

[

n

]

⇔↑

Z

n

X

GR id

Strd

A

[

n

]

Y

GR id

Strd

A

[

n

]

.

Proposition

1504

.

Z

n

X

GR id

Strd

a

[

n

]

⇔ ∀

A

a

t

A

i

n

:

t

X

i

.

Proof.

Z

n

X

GR id

Strd

a

[

n

]

⇔ ∃

A

a

t

A

:

n

×{

t

} ∈

Y

X

⇔ ∀

A

a

t

A

i

n

:

t

X

i

.

18.4.5. Relationships between big and small identity staroids.

Definition

1505

.

a

n

Strd

=

Q

Strd

i

n

a

for every element

a

of a poset and an index

set

n

.

Proposition

1506

.

id

Strd

a

[

n

]

v

ID

Strd

a

[

n

]

v

a

n

Strd

for every filter

a

(on any dis-

tributive lattice) and an index set

n

.

Proof.

GR

id

Strd

a

[

n

]

GR ID

Strd

a

[

n

]

.

L ∈

GR

id

Strd

a

[

n

]

up

L ⊆

GR id

Strd

a

[

n

]

⇔ ∀

L

up

L

:

L

GR id

Strd

a

[

n

]

(proposition

379

)

⇔ ∀

L

up

L∀

A

up

a

:

Z

l

i

n

L

i

6

A

L

up

L∀

A

up

a

:

Z

l

i

n

L

i

u

A

6

= 0

[

i

n

L

i

a

has finite intersection property

⇔ L ∈

GR ID

Strd

a

[

n

]

GR ID

Strd

a

[

n

]

GR

a

n

Strd

.

L ∈

GR ID

Strd

a

[

n

]

MEET(

{L

i

|

i

n

} ∪ {

a

}

)

⇒ ∀

i

a

:

L

i

6

a

⇔ L ∈

GR

a

a

Strd

.

Proposition

1507

.

id

Strd

a

[

a

]

@

ID

Strd

a

[

a

]

=

a

a

Strd

for every nontrivial ultrafilter

a

on a set.

Proof.

GR

id

Strd

a

[

a

]

6

= GR ID

Strd

a

[

a

]

. Let

L

i

=

Base(

a

)

i

. Then trivially

L ∈

GR ID

Strd

a

[

a

]

. But

to disprove

L ∈

GR

id

Strd

a

[

a

]

it’s enough to show

L /

GR id

Strd

a

[

a

]

for some

L

up

L

. Really, take

L

i

=

L

i

=

Base(

a

)

i

. Then

L

GR id

Strd

a

[

a

]

⇔ ∀

A

a

t

A

i

a

:

t

i

what is clearly false (we can always take

i

a

such

that

t /

i

for any point

t

).

GR ID

Strd

a

[

a

]

= GR

a

a

Strd

.

L ∈

GR ID

Strd

a

[

a

]

⇔ ∀

i

n

:

L

i

w

a

⇔ ∀

i

a

:

L

i

6

a

⇔ L ∈

GR

a

a

Strd

.

Corollary

1508

.

a

a

Strd

isn’t an atom when

a

is a nontrivial ultrafilter.