В математике, формальные модули являются аспектом теории пространств модулей ( алгебраические разновидности или векторные расслоения, например), тесно связанные с теорией деформации и формальной геометрией. Грубо говоря, теория деформации может предоставить информацию о деформациях на уровне полинома Тейлора, в то время как формальная теория модулей может собрать согласованные полиномы Тейлора для создания теории формальных степенных рядов. Шаг к пространствам модулей, собственно говоря, является вопросом алгебраизации и в значительной степени положен на прочную основу аппроксимационной теоремой Артина.
A формальная универсальная деформация по определению является формальной схемой по полному локальному кольцу, с специальным волокном - схемой над изучаемым полем и с универсальным свойством среди таких установок. Рассматриваемое локальное кольцо является тогда носителем формальных модулей.