background image

4.6. OPEN PROBLEMS ABOUT FILTERS

88

2

. If

Z

is a join-semilattice then

F

is a join-semilattice then and for any

A

,

B ∈

F

A t

F

B

=

A ∩ B

.

Under which conditions

a

\

b

and

a

#

b

are complementive to

a

?

Generalize straight maps for arbitrary posets.