Re: defn binding wordy

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 UTC