Another definition of pointfree reloids

In previous post I stated that pointfree reloids can be defined as filters on pointfree funcoids.

Now I suggest also an alternative definition of pointfree reloids: Pointfree reloids can be defined as filters on products $\mathrm{atoms}\,\mathfrak{A} \times \mathrm{atoms}\,\mathfrak{B}$ of atoms of posets $\mathfrak{A}$ and $\mathfrak{B}$.

In the case if $\mathfrak{A}$ and $\mathfrak{B}$ are powerset lattices, this definition coincides with the definition of reloids (and with the definition of pointfree reloids given in the previous post).