Re: ISSUE:4.1 daml:uniqueProperty

In the mail of Chris of yesterday,
the words domain and range are used for sets and elements:
...
>An UnambiguousProp is a relation whose extension is restricted such that 
>no object may appear more than once in the range, i.e. the domain of the 
here the word range stands for a set and the word domain stands for an 
element

>relation for any given range is unique.
here the word range stands for an element.

This is confusing. The basic practice in mathematics is to use the terms 
domain and range only for sets.

This point is also linked to the choice of names:

>Proposed Resolution
>
>These are suggested alternate names for these features.  To resolve the 
>issue, we should vote on them.  I will collect suggested alternate names 
>until, say, the next telecon.
>
>UniqueProp: Functional, UniqueRange
>UnambiguousProp: InverseFunctional, UniqueDomain

The suggestions UniqueRange and UniqueDomain do not seem to be
consistent with the basic meaning given in mathematics to the words 
domain and range.

In the standard definition, the domain and the range of a relation are 
sets:
Given a relation, that is, a set of ordered pairs (x,y), the domain 
of the relation is defined to be the set of all elements x that appear 
as the first entry in at least one such ordered pair of the relation. 
The range of the relation is defined to be the set of all elements y 
that appear as second entry in at least one such ordered pair of the
relation.

This implies that for each relation, the domain is always uniquely 
defined,
and also that the range is always uniquely defined:
The domain and range of a relation are uniquely defined sets associated to
the relation.
From this point of view, the terms UniqueRange and UniqueDomain do not
seem to add information.

The terms UniqueRangeElement and UniqueDomainElement would be more 
consistent
with basic mathematical usage.
But these terms are longer, and, in my view, not the optimal choice:
they may suggest that the range and domain consist of exactly one element.

The terms SingletonRange and SingletonDomain, suggested yesterday by Lynn,
also wrongly suggest that the domain and range of the relation consist of
a singleton set, that is, of exactly one element


I vote in favor of the terms Functional and InverseFunctional.


Herman ter Horst