I’ve proved today the theorem:

Theorem Monovalued reloids are metamonovalued.

In other words:

Theorem $latex \left( \bigsqcap G \right) \circ f = \bigsqcap \left\{ g \circ f \,|\, g \in G \right\}$ if $latex f$ is a monovalued reloid and $latex G$ is a set of reloids (with matching sources and destination).

The proof uses the lemma, which is a special case (when $latex f$ is a principal reloid) of the theorem. The proof is now presented in the preprint of my book.

1 thought on “Monovalued reloids are metamonovalued

Leave a Reply

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