Parity and One-in-a-box Predicates

In this chapter we study the orders of two particularly interesting predicates. Neither of them is “geometric,” because their invariance groups have too little structure. But in §5, we will apply them to geometric problems by picking out appropriate “subgroups” which have the right invariance properties.