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