A monovalued reloid with atomic domain is atomic

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 comment

Leave a Reply