Let 
be an equivariant relation. We show that under a certain assumption on 
, for every 
, if there exists a witness 
such that 
holds, then there also exists one with small support. We show an application to extending homomorphisms.
Let be an equivariant relation. We show that under a certain assumption on , for every , if there exists a witness such that holds, then there also exists one with small support. We show an application to extending homomorphisms.