|< < 46 > >|
If T1 writes a value which is then read by T2, then T1 < T2 in any valid serialization order.