可換な closure operators について