Re: $B<-=q<0 (B

> O:={{y∈A;y<a}∈2^A;a∈A},{{y∈A;y>a}∈2^A;a∈A},{{y∈A;a<y<b}∈2^A;a,b∈A},A}

これは
O:={{y∈A;y<'a}∈2^A;a∈A}∪{{y∈A;y>'a}∈2^A;a∈A}∪{{y∈A;a<'y<'b}∈2^A;a,b∈A}∪{A}
ですね。