Reducing the number of equations defining a subset of the n-space over a finite field | Synapse