background image

Reloidal product

The reloidal product of filters is a generalization of the Carte-
sian product of sets.
Let

A

and

B

be filters. Then the

reloidal product

of

A

and

B

is defined by the formula:

A ×

RLD

B

=

l

RLD

(

A

;

B

)

(

A

×

B

)

|

A

∈ A

, B

∈ B

 

.

In other words, the reloidal product is the reloid defined by
the base

{

A

×

B

|

A

∈ A

, B

∈ B}

.

33