Модуль действительного числа

Свойства модулей