Если взять a=0, b=1, то получается элемент 1/2, квадрат которого равен 1/4 и поэтому не лежит в X. Таким образом, обычное умножение выводит из этого множества, и поэтому не имеет права претендовать на гордое название "алгебраической операции". После этого смешно говорить про ассоциативность (а она бы была, если бы операция не выводила бы из X), про коммутативность (а она бы... - см. текст выше), наличие нейтрального элемента (см. выше). Не знаю, какие элементы Вы называете симметричными, обычно говорят про обратные, но здесь с обратными проблема. В общем, говорить о группе не приходится, как и о группоиде, полугруппе или моноиде
log₂(-x)*(1 - x) ≤ 1
x² - x ≤ 2
x² - x - 2 ≤ 0
x₁ = -1
x₂ = 2
+ - +
>
-1 2 x
x∈[-1;2]
2) log₃(x - 2) + log₃(x - 10) ≥ 2
log₃(x - 2)*(x - 10) ≥ 2
3 ≥ 1
(x - 2)*(x - 10) ≥ 9
x² - 12x + 11 ≥ 0
x₁ = 1
x₂ = 11
+ - +
>
1 11 x
x∈(- ≈ ; 1] [11 ; + ≈)