 2.1. ORDER THEORY

15

for every

x

A

. Really, this follows from the chain of equivalences:

x

w

(

a

t

b

)

t

c

x

w

a

t

b

x

w

c

x

w

a

x

w

b

x

w

c

x

w

a

x

w

b

t

c

x

w

a

t

(

b

t

c

)

.

Obvious

53

.

a

6

b

iff

a

u

b

is non-least, for every elements

a

,

b

of a meet-

semilattice.

Obvious

54

.

a

b

iff

a

t

b

is the greatest element, for every elements

a

,

b

of

a join-semilattice.

2.1.5. Lattices and complete lattices.

Definition

55

.

A

bounded

poset is a poset having both least and greatest

elements.

Definition

56

.

Lattice

is a poset which is both join-semilattice and meet-

semilattice.

Definition

57

.

A

complete lattice

is a poset

A

such that for every

X

P

A

both

F

X

and

d

X

exist.

Obvious

58

.

Every complete lattice is a lattice.

Proposition

59

.

Every complete lattice is a bounded poset.

Proof.

F

is the least and

d

is the greatest element.

Theorem

60

.

Let

A

be a poset.

1

. If

F

X

is defined for every

X

P

A

, then

A

is a complete lattice.

2

. If

d

X

is defined for every

X

P

A

, then

A

is a complete lattice.

Proof.

See [

26

or any lattice theory reference.

Obvious

61

.

If

X

Y

for some

X, Y

P

A

where

A

is a complete lattice,

then

1

.

F

X

v

F

Y

;

2

.

d

X

w

d

Y

.

Proposition

62

.

If

S

PP

A

then for every complete lattice

A

1

.

F S

S

=

F

F

X

X

S

;

2

.

d

S

S

=

d

n

d

X

X

S

o

.

Proof.

We will prove only the first as the second is dual.

By definition of joins, it is enough to prove

y

w

F S

S

y

w

F

F

X

X

S

.