Finite-subset partition property ($\lambda \to (\lambda {)}_{\beta }^{<\omega }$)

The relation $\lambda \to (\lambda {)}_{\beta }^{<\omega }$ requires a subset of size $\lambda$ homogeneous at each finite arity. The constant color may depend on the arity.

If inaccessible $\lambda$ has the finite-subset partition property for every color number below $\lambda$, forcing of size below $\lambda$ preserves its two-color version. Color ground-model finite sets by their full forcing decision patterns; strong-limit cardinal arithmetic bounds the number of patterns.