In “Funcoids and Reloids” online draft there was an erroneous lemma:
Lemma For every two sets and of binary relations and every set
The above lemma is false. The below modified lemma is true:
Lemma For every two filter bases and of binary relations and every set
After correcting the lemma I corrected also the proof of the theorem which relies on this lemma:
Theorem for every reloids and .