記号なんかどうでもいいけど、Aは事象なのにA'は補集合ってのは、ナンセンスじゃないか?