これは、集合論の空集合と同等のものである。「空区体」と呼ばれる。存在して、次のことが成立する。S⊂Rが成立するならば、次の二つの式がともに成立する。これは集合論の補集合と同等のものである。)(なお、補区体を考えるときは、それを含む元の区体を考えねばならない。いう記号を用いて記す。S^(R)これは、RのなかのSの補区体である。いう上付文字を使いたかった。集合論の補集合と同様に。いう記号で代用したわけだ。