添字集合の条件をformula_71とする流儀もある。