Laterally complete C∞(Q)-modules

Для регулярного дизъюнктно полного C∞(Q)-модуля X вводится понятие паспорта Γ(X), состоящего из однозначно определенных разбиения единицы булевой алгебры, отвечающей стоуновскому компакту Q, и набора попарно различных кардинальных чисел. Доказывается, что C∞(Q)-модули X и Y являются изоморфными тогда и только тогда, когда Γ(X)=Γ(Y).