Closure (mathematics) by