通常は、O(H∖R)/O(H)みたいに定義されるんでしょうが
上からの境界値と下からの境界値の差での表示も可能かも
「新しい代数」をそのまま使ってはダメかもわからない
適当な制限の上で空間を取り出すことを考えるべきなのか
三位一体はそのままでは難しいので迂回の道を探っています