int next = atoms.next();
ordering.add(prev*usize + next);
prev = next;
}
if (ordering.containsAll(bounds.lowerBound(relation).indexView()) &&
bounds.upperBound(relation).indexView().containsAll(ordering)) {
// remove the ordered partition from the set of symmetric partitions
removePartition(domain.min());