 4.3. FILTERS ON A POSET

61

4.3. Filters on a poset

4.3.1. Filters on posets.

Let

Z

be a poset.

Definition

344

.

Filter base

is a nonempty subset

F

of

Z

such that

X, Y

F

Z

F

: (

Z

v

X

Z

v

Y

)

.

Obvious

345

.

A nonempty chain is a filter base.

Definition

346

.

Filter

is a subset of

Z

which is both a filter base and an upper

set.

I will denote the set of filters (for a given or implied poset

Z

) as

F

and call

F

the set of filters over the poset

Z

.

Proposition

347

.

If

>

is the maximal element of

Z

then

> ∈

F

for every

filter

F

.

Proof.

If

>

/

F

then

K

Z

:

K /

F

and so

F

is empty what is impossible.

Proposition

348

.

Let

S

be a filter base on a poset. If

A

0

, . . . , A

n

S

(

n

N

),

then

C

S

: (

C

v

A

0

. . .

C

v

A

n

)

.

Proof.

It can be easily proved by induction.

Dual of filters is called

ideals

. We do not use ideals in this work however.

FiXme

:

Ideals will be used in a newer version of this text.

4.3.2. Filters on meet-semilattices.

Theorem

349

.

If

Z

is a meet-semilattice and

F

is a nonempty subset of

Z

then

the following conditions are equivalent:

1

.

F

is a filter.

2

.

X, Y

F

:

X

u

Y

F

and

F

is an upper set.

3

.

X, Y

Z

: (

X, Y

F

X

u

Y

F

).

Proof.

1

2

Let

F

be a filter. Then

F

is an upper set. If

X, Y

F

then

Z

v

X

Z

v

Y

for some

Z

F

. Because

F

is an upper set and

Z

v

X

u

Y

then

X

u

Y

F

.

2

1

Let

X, Y

F

:

X

u

Y

F

and

F

be an upper set. We need to prove that

F

is a filter base. But it is obvious taking

Z

=

X

u

Y

(we have also taken

into account that

F

6

=

).

2

3

Let

X, Y

F

:

X

u

Y

F

and

F

be an upper set. Then

X, Y

Z

: (

X, Y

F

X

u

Y

F

)

.

Let

X

u

Y

F

; then

X, Y

F

because

F

is an upper set.

3

2

Let

X, Y

Z

: (

X, Y

F

X

u

Y

F

)

.

Then

X, Y

F

:

X

u

Y

F

. Let

X

F

and

X

v

Y

Z

. Then

X

u

Y

=

X

F

. Consequently

X, Y

F

. So

F

is an upper set.

Proposition

350

.

Let

S

be a filter base on a meet-semilattice. If

A

0

, . . . , A

n

S

(

n

N

), then

C

S

:

C

v

A

0

u · · · u

A

n

.

Proof.

It can be easily proved by induction.