**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.