Строение конвексоров

Конвексоры – это алгебраические системы, полученные абстракцией от выпуклых подмножеств аффинных пространств над полем $\mathbf{R}$. Конвектор $A$ называется простым, если для любых $a,b\in A$ существуют $\alpha\in(0,1)$ и $c\in A$, такие, что $\alpha(a,c)=b$. Доказано, что: 1) каждый конвексор единственным образом разлагается в полуструктурную связку простых конвексоров; 2) конвексор прост тогда и только тогда, когда он изоморфен выпуклому открытому аффинному множеству.
Библиогр. 4.