Рассматривается метод погружения институтов в среду общего экономического равновесия. Формулируется модель экономики общего вида, в рамках которой описывается процесс создания и ликвидации институтов, а также механизмы принятия решений внутри институтов. Дается обзор литературы, проводится классификация имеющихся результатов, доказывается теорема существования и оптимальности для простого класса моделей равновесия с институтами. Приведены примеры операций над институтами, что позволяет говорить об исчислении институтов.