Привет.
Помогите разобраться с полукольцом: не могу понять почему набор отрезков не полукольцо: например отрезок
![$$\left[ a,b \right]$$ $$\left[ a,b \right]$$](https://dxdy-02.korotkov.co.uk/f/1/0/a/10a8a2bc998ac6d4e792a081449271bf82.png)
из которого "выкинули"
![$$\left[ c,d \right]$$ $$\left[ c,d \right]$$](https://dxdy-03.korotkov.co.uk/f/a/a/1/aa191c8a9732afef560746b73485807082.png)
вроде же можно представить как конечное объединение как
![$\left[ a,c^`\right]$ $\left[ a,c^`\right]$](https://dxdy-04.korotkov.co.uk/f/3/e/e/3ee04791970481f41b9ac30bf74be58f82.png)
и
![$\left[ d^`,b\right]$ $\left[ d^`,b\right]$](https://dxdy-01.korotkov.co.uk/f/c/d/7/cd7a822ffaf469b5d01433b5b4a1108282.png)
. С интервалами вроде понятно, что если из

выкинуть

, то конечную точку с помощью конечного объединения интервалов не получить никак.