RE: ISSUE:4.1 daml:uniqueProperty

Herman:

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

I agree.

> I vote in favor of the terms Functional and InverseFunctional. 

Premature, I hope something better comes up.

Jeremy

Received on Friday, 12 July 2002 04:45:01 UTC