Множество D диагональных квадратных матриц размерности 2 линейное подпространство линейного пространства MSQ4 квадратных матриц размерности 2, с определенными для матриц операциями сложения и умножения на число. Действительно.
Для призвольных диагональных матриц X и Y и любого числа α справедливо: