Re: ISSUE:4.1 daml:uniqueProperty

Chris,

> The extension of a (binary) relation is a set of pairs.
> The "domain" of a (binary) relation is (always) the set of all the first 

> pair elements in the extension
> The "range" of a (binary) relation is the set of all the second pair 
> elements in the extension

Yes.

> But you are right, when I said  "the domain of the relation for any 
given range is unique"
> 
> I meant "the domain of the relation for any given element of the range 
is 
> unique"

When we use the word domain only for a set, in the way you describe above,
then this last sentence needs an extra use of the word element, for 
example
as follows:

the element in the domain of the relation for any given element of the 
range is 
unique

Herman ter Horst