Conjecture Every monovalued reloid with atomic domain is either

  1. an injective reloid;
  2. a restriction of a constant function

(or both).

2 Responses

Leave a Reply

Your email address will not be published. Required fields are marked *