I proved true the following conjecture:

Theorem $latex \mathrm{Compl} \, \mathrm{CoCompl}\, f = \mathrm{CoCompl}\, \mathrm{Compl}\, f = \mathrm{Cor}\, f$ for every reloid $latex f$.

See here for definitions and proofs.

Leave a Reply

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