closure operator

mathematical operator