Every monovalued reloid is a restricted function
The conjecture “Every monovalued reloid is a restricted function” is proved true as a corollary of this theorem in the last revision of Funcoids and Reloids online article.
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 […]