A non-deterministic sequence ain’t a sequence. The thing is called “partially ordered set”: https://en.wikipedia.org/wiki/Partially_ordered_set https://en.wiki

A non-deterministic sequence ain’t a sequence. The thing is called “partially ordered set”: https://en.wikipedia.org/wiki/Partially_ordered_set https://en.wikipedia.org/wiki/Partially_ordered_set