defn binding wordy

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.


-- 
Dan Connolly, W3C http://www.w3.org/People/Connolly/