Conjecture Every monovalued reloid with atomic domain is either
- an injective reloid;
- a restriction of a constant function
(or both).
I found a counter-example for this conjecture (see Funcoids and Reloids article, section “Some counter-examples”) based on a counter-example of an equivalent conjecture found by my colleagues on MathOverflow.
See Algebraic General Topology for definitions of used concepts.
Bibliography
*Victor Porton. Algebraic General Topology
* indicates original appearance(s) of problem.