background image

5.39. EQUIVALENT FILTERS AND REBASE OF FILTERS

134

Proposition

759

.

Cor(

A t

A

B

) = Cor

A t

Z

Cor

B

for the filtrator of unfixed

filters for every unfixed filters

A

, and

B

, provided every

DA

(for

A

A

) is a

complete atomistic distributive lattice.

Proof.

Can be easily deduced from theorem

600

and the triangular diagram

(above) of isomorphic filtrators.

Conjecture

760

.

The theorem

611

holds for unfixed filters, too.

It is expected to be easily provable using isomorphisms from the triangular

diagram.