On Fri, 2004-09-03 at 13:52, Dan Connolly wrote: > In > http://www.w3.org/2001/sw/DataAccess/rq23/#basicpatterns > > first we have "A binding B is a subset of V x A" > then "A binding only maps a variable once - it is functional." > > simpler to just say: > > A binding B is a function from V into A. Also the sentence "Let B is be the set of bi. Then VAR(bi) are distinct." becomes superfluous, if I understand correctly. -- Dan Connolly, W3C http://www.w3.org/People/Connolly/Received on Friday, 3 September 2004 18:57:03 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 1 October 2009 14:41:58 GMT