First, we can define product of reloids as a trivial generalization of the alternative definition of product of uniform spaces.

There are no trivial simplification of this relatively inelegant definition, it is not algebraic as I would want.

I (without any evidence or intuition) propose two open questions one of which may be true despite of no evidence. (Having no evidence I expect that the answers to these questions are false, but I may happily mistake about this.)

The *displacement* of a pointfree funcoid is the upgrading of downgrading the pointfree funcoid where downgrading is taken for the filtrator and upgrading for the filtrator .

The *displaced product* of reloids and is the displacement of the cross-composition product of reloids and .

**Question** The product of reloids and is the reloid .

**Question** The product of reloids and is the reloid .

Read about funcoids and reloids here.