I’ve proved some new theorems. The proofs are currently available in this PDF file.

Theorem The set of funcoids is with separable core.

Theorem The set of funcoids is with co-separable core.

Theorem A funcoid $latex f$ is complete iff
$latex f = \bigsqcap^{\mathsf{FCD}} \left\{ \bigcup_{x \in \mathrm{Src}\, f}
(\{ x \} \times \langle T \rangle^{\ast} \{ x \}) \, |
\, T \in (\mathscr{P} \mathrm{Dst}\, f)^{\mathrm{Src}\, f}, \forall x \in
A : \langle T \rangle^{\ast} \{ x \} \in G (x) \right\} $.

Theorem A reloid $latex f$ is complete iff
$latex f = \bigsqcap^{\mathsf{RLD}} \left\{ \bigcup_{x \in \mathrm{Src}\, f}
(\{ x \} \times \langle T \rangle^{\ast} \{ x \}) \, |
\, T \in (\mathscr{P} \mathrm{Dst}\, f)^{\mathrm{Src}\, f}, \forall x \in
A : \langle T \rangle^{\ast} \{ x \} \in G (x) \right\} $.

It seems (I have not yet checked) that the following conjecture follows from the last theorem:

Conjecture Composition of complete reloids is complete.

1 thought on “Some new theorems

Leave a Reply

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