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 $latex \mathrm{atoms}\,\mathfrak{A} \times \mathrm{atoms}\,\mathfrak{B}$ of atoms of…
read moreAfter I defined pointfree funcoids which generalize funcoids (see my draft book) I sought for pointfree reloids (a suitable generalization of reloids, see my book) long time. Today I have finally discovered pointfree reloids. The idea is as follows: Funcoids between sets…
read moreAfter this Math.StackExchange question I have proved that binary relations are essentially the same as pointfree funcoids between powersets. Full proof is available in my draft book. The most interesting aspect of this is that is that we can construct filtrator with…
read more