Модуль действительного числа: определение и важные свойства