change total order to strict total order

Author: xmh0511

source/basic.tex

@@ -6201,11 +6201,11 @@
 
 \pnum
 All modifications to a particular atomic object $M$ occur in some
-particular total order, called the \defn{modification order} of $M$.
+particular strict total order, called the \defn{modification order} of $M$.
 \begin{note}
 There is a separate order for each
 atomic object. There is no requirement that these can be combined into a single
-total order for all objects. In general this will be impossible since different
+strict total order for all objects. In general this will be impossible since different
 threads can observe modifications to different objects in inconsistent orders.
 \end{note}
 
@@ -6231,7 +6231,7 @@
 The
 specifications of the synchronization operations define when one reads the value
 written by another. For atomic objects, the definition is clear. All operations
-on a given mutex occur in a single total order. Each mutex acquisition ``reads
+on a given mutex occur in a single strict total order. Each mutex acquisition ``reads
 the value written'' by the last mutex release.
 \end{note}