擬閉包の公理→擬開核の公理