テンプレです
>記号の濫用として a'2 ⊂UB1が ありか どうか? ありでは?