それが圏と呼べるものであれば、問題ありませんが、