О композициях циклических плотных порядков со структурами и их алгебрах бинарных формул

Рассматриваются композиции структур и композиции теорий для циклических плотных порядков и данных структур, а также сопутствующие алгебры. Доказано, что для любого $I$-группоида $P$, состоящего из неотрицательных меток, существует теория $T$ с полным типом $p$ и правильной меточной функцией $\nu(p)$ такая, что алгебра бинарных изолирующих формул над типом $p$ представляется в виде композиции группоида над циклическим плотным порядком и группоида $P$.