14.1 顺序一致性的正式定义