Формальный комплекс де Рама

Предлагается формальная конструкция, обобщающая классический комплекс де Рама на широкий спектр моделей математической физики и анализа. Изложение разбито на ряд последовательных определений и элементарных легко проверяемых утверждений, поэтому доказательства приведены лишь в ключевых случаях. Линейные операции всюду выполняются над фиксированным числовым полем $\mathbb{F}=\mathbb{R},\mathbb{C}$, и, хотя это явно не оговаривается, все вводимые линейные пространства, алгебры и модули по определению или по построению обладают естественными локально выпуклыми топологиями, а их морфизмы непрерывны.