Definition 11 (Left-compressed). Say $A\subset X^{(r)}$ is left-compressed if $C_{ij}(A)=A$ for all $i<j$.