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.
read moreIn 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….
read more