Es ist genau umgekehrt, die NICHT-0-äquivalenten Zustandspaare werden mit $\times_0$ markiert. Ich hoffe, Sie sind nicht durch einen Fehler im Lehrbuch verwirrt worden, siehe dieser Beitrag.