1: \begin{definition}

2: If $Y =V(I)$, a set $\{f_1,\dots,f_r \} \subseteq  I$ with 

3: $$\trop(Y) = \bigcap_{i=1}^r \trop(V(f_i))$$ is called a {\em tropical

4: basis} for $I$.  Finite tropical bases always exist (see

5: \cite[Theorem 11]{BJSSTCompute}), so $\trop(Y)$ is a piecewise linear object.

6: \end{definition}

7: