In particular we definitely have dim ⁡   S ′ < dim ⁡   S {\displaystyle \dim ~S'<\dim ~S} .
Πιο συγκεκριμένα ισχύει dim ⁡   S ′ < dim ⁡   S {\displaystyle \dim ~S'<\dim ~S} .