Oℕ
Ты можешь композить элементы кольца с помощью аддитивной группы, но это не значит, что у тебя нет умножения.
Так же и в случае асинхронности вопрос не в том, как сделать так, чтобы все шаги выполнялись в неопределённом порядке, вопрос в том, как гарантировать последовательность исполнения частично, для отдельных операций в то время, как ты вынужден отказаться от тотального порядка