Corollary 17. Assuming that:

$A \subset X^{(r)}$ , where $0 \leq r \leq n$
$C$ be the initial segment of lexicographic on $X^{(r)}$ with $| C | = | A |$

Then

| \partial^{+} A | \geq | \partial^{+} C |

.