7.2.55 Order principle (no distribution)

This principle is like the Order principle (Order), except that it does not apply non-deterministic distribution.