background image

6.16. FILTERS CLOSED REGARDING A FUNCOID

132

Proposition

730

.

If

S

is a set of filters closed regarding a complete funcoid,

then the filter

F

S

is also closed regarding our funcoid.

Proof.

h

f

i

F

S

=

F

hh

f

ii

S

v

F

S

where

f

is the given funcoid.