An infinite sequence of subclasses f satisfies a formula F if and only if f and F stand in every relation R among sequences and formulae such that, for any g and G, g and G stand in R if and only if g is an infinite sequence of subclasses, F is a formula and either