This is a straightforward generalization of the classical Pumping Lemma for regular languages. It was proved independently by the Warsaw team and by Filippo Bonchi, Daniela Petrisan and Alexandra Silva.
This post discusses equivalence of:
1. existence of the least supports
2. representation theorem
Fact. Suppose that is a one-orbit set and
is an equivariant function. Then is a bijection.