Что такое основное свойство модуля в математике?