background image

Funcoidal product

The funcoidal product of filters is a generalization of the
Cartesian product of sets.
Let

A

and

B

be filters. Then there exists a unique funcoid

(the

funcoidal product

of

A

and

B

)

A ×

FCD

B

such that

hA ×

FCD

BiX

=

(

B

if

X ⊓ A

0

Base

(

A

)

;

0

Base

(

B

)

if

X ⊓ A

= 0

Base

(

A

)

;

X

[

A ×

FCD

B

]

Y ⇔ X ⊓ A

0

Base

(

A

)

∧ Y ⊓ B

0

Base

(

B

)

.

25