In the last revision of Funcoids and Reloids online article I proved that every monovalued reloid with atomic domain is atomic.
Consequently two following conjectures are proved true:
Conjecture A monovalued reloid restricted to an atomic filter object is atomic or empty.
Conjecture A (monovalued) function restricted to an atomic filter object is atomic or empty.
One Response