Changes in “Funcoids and Reloids”

I added one new proposition and two open problems to my online article “Funcoids and Reloids”:

Conjecture \left\langle f \right\rangle \mathcal{X} = \bigcap^{\mathfrak{F}} \left\{ \left\langle F \right\rangle \mathcal{X} | F \in \mathrm{up}f \right\} for every funcoid f and f.o. \mathcal{X}.

Proposition \mathrm{dom}( \mathsf{\mathrm{FCD}}) f =\mathrm{dom}f and \mathrm{im}(\mathsf{\mathrm{FCD}}) f =\mathrm{im}f for every reloid f.

Conjecture \mathrm{dom}( \mathsf{\mathrm{RLD}})_{\mathrm{in}} f =\mathrm{dom}f and \mathrm{im}( \mathsf{\mathrm{RLD}})_{\mathrm{in}} f =\mathrm{im}f for every funcoid f.

Leave a Reply