- From: David Booth <david@dbooth.org>
- Date: Wed, 05 Oct 2011 22:55:21 -0400
- To: Jonathan Rees <jar@creativecommons.org>
- Cc: Pat Hayes <phayes@ihmc.us>, AWWSW TF <public-awwsw@w3.org>
On Wed, 2011-10-05 at 17:49 -0400, Jonathan Rees wrote: . . . > Now let C be any class. Say that C is ≤-closed if the following holds: > for all generic resources g and h, C(g) and h ≤ g imply C(h). > (One might say C is "heritable under specialization".) Can you explain your notation please? You said C is a class, but "C(g)" looks like you are treating C as a predicate or function. What do you mean by "C(g)"? -- David Booth, Ph.D. http://dbooth.org/ Opinions expressed herein are those of the author and do not necessarily reflect those of his employer.
Received on Thursday, 6 October 2011 02:55:56 UTC