Общий порядок сообщений

Полный порядок - для любых сообщений x и y и любых потоков P и Q если x принято P перед y, то y не может быть принято перед x в Q.