公理というのは部分空間であることを確認するためだよ