Yet two simple theorems

I proved the following two simple theorems:

Proposition \mathrm{Compl}f = \bigcup^{\mathsf{FCD}} \left\{ f|^{\mathsf{FCD}}_{\{ \alpha \}} \middle| \alpha \in \mho \right\} for every funcoid f.

Proposition \mathrm{Compl}f = \bigcup^{\mathsf{RLD}} \left\{ f|^{\mathsf{RLD}}_{\{ \alpha \}} \middle| \alpha \in \mho \right\} for every reloid f.

See this online article for definitions and proofs.

Leave a Reply