Структура соответствий универсальной алгебры

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