Finite-subset partition property

ID: finite-subset-partition-property

The relation requires a subset of size homogeneous at each finite arity. The constant color may depend on the arity.

New to topics? Read the docs here!