V.P54 — Crossing preservation

Crossing preservation: the base projection pr_base preserves inequality crossings -- if the fiber-level defect tuple D crosses an inequality boundary, then the macro defect tuple D^macro = pr_base(D) also crosses the corresponding base-projected boundary.