formula_30が定常であるとは、前者と同様にsが全てのclub集合と交わることをいう。