Example 7.
Rotations of a circular interval series preserve set-class membership
