がformula_8内のすべてのformula_13に対して成り立つことをいう。