So we must choose an adjacency rule that makes
.
Now the sets
obviously
satisfy monotonicity as
is decreased, in the sense
that once a point becomes a member of the set it remains a member. This is obviously
true as
implies
for
.
This implies that if two Highs of a 4-hit face F are adjacent for a given threshold c,
then they must then be adjacent
for all values
.
For 3 dimensions and higher we have to decide at what value there is a
path through the cube interior between the two Highs. The different
choices effect the values of certain types of criticalities but will not
change the essential character of our results.