This post discusses equivalence of:

1. existence of the least supports

2. representation theorem

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.