I proved the following (not very hard) theorem:

Theorem $latex f|^{\mathsf{RLD}}_{\{ \alpha \}} = \{ \alpha \} \times^{\mathsf{RLD}} \mathrm{im} \left( f|^{\mathsf{RLD}}_{\{ \alpha \}} \right)$ for every reloid $latex f$ and $latex \alpha \in \mho$.

See the online article about funcoids and reloids.

Leave a Reply

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