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