|< < 47 > >|
If T1 reads a value which is then written by T2, then T1 < T2 in any valid serialization order.