In “Funcoids and Reloids” online draft there was an erroneous lemma:

Lemma For every two sets $latex S$ and $latex T$ of binary relations and every set $latex A$
$latex \bigcap {\nobreak}^{\mathfrak{F}} S = \bigcap {\nobreak}^{\mathfrak{F}} T \Rightarrow \bigcap {\nobreak}^{\mathfrak{F}} \{ \langle F \rangle A | F \in S \} = \bigcap{\nobreak}^{\mathfrak{F}} \{ \left\langle G \right\rangle A | G \in T \}$.

The above lemma is false. The below modified lemma is true:

Lemma For every two filter bases $latex S$ and $latex T$ of binary relations and every set $latex A$
$latex \bigcap {\nobreak}^{\mathfrak{F}} S = \bigcap {\nobreak}^{\mathfrak{F}} T \Rightarrow \bigcap {\nobreak}^{\mathfrak{F}} \{ \langle F \rangle A | F \in S \} = \bigcap{\nobreak}^{\mathfrak{F}} \{ \left\langle G \right\rangle A | G \in T \}$.

After correcting the lemma I corrected also the proof of the theorem which relies on this lemma:

Theorem $latex (\mathsf{FCD}) (g \circ f) = ((\mathsf{FCD} g)) \circ ((\mathsf{FCD}) f)$ for every reloids $latex f$ and $latex g$.

Leave a Reply

Your email address will not be published. Required fields are marked *