Merge pull request #123 from w3c/FixDefinitionOfFlatten

Fixes the definition of the Flatten function

Author: hartig

spec/index.html

@@ -9649,9 +9649,11 @@ <h4>Aggregate Algebra</h4>
           <p>Flatten is a function which is used to collapse a sequence of lists into a single list.
             For example, [(1,&nbsp;2), (3,&nbsp;4)] becomes (1, 2, 3, 4).</p>
           <div class="defn">
-            <p><b>Definition: Flatten</b></p>
-            <p>The Flatten(S) function takes a sequence of lists, S = [(L<sub>1</sub>, L<sub>2</sub>,
-              ...), ...], and returns the list ( x | L in S and x in L ).</p>
+            <p><b>Definition: <span id="defn_Flatten">Flatten</span></b></p>
+            <p>The Flatten(S) function takes a sequence S of lists,
+              i.e., S = [L<sub>1</sub>, L<sub>2</sub>, ..., L<sub>m</sub>]
+              where every L<sub>i</sub> is a list,
+              and returns the list ( x | L in S and x in L ).</p>
           </div>
           <p>Card is a function that returns the cardinality of a sequence or a list of elements (which may be solution mappings or other types of elements, depending on the context).
           <div class="defn">