From: David Martin ([email protected])
Date: 04/11/02
"David R. Karger" wrote: > Use standard math vocabulary--- > InjectiveProperty, SurjectiveProperty, BijectiveProperty. Yes, I like that also - but none of the above corresponds to DAML's UniqueProperty. For UniqueProperty (maxcardinality = 1), you could use "FunctionProperty", or just "Function". For cardinality=1, you could use TotalFunctionProperty, or just TotalFunction. I'm going by the definitions here: http://www.cs.umbc.edu/help/theory/group_def.shtml - David
This archive was generated by hypermail 2.1.4 : 03/26/03 EST