formula_11に対してhomogeneousとなるformula_1の定常集合があること。