確認だが、M^f=cl(M)\op(M)か?
cl;閉包作用素、op;開核作用素