Ideals of Tambara functors

For a finite group $G$, a Tambara functor on $G$ is regarded as a $G$-bivariant analog of a commutative ring. In this article, we consider a $G$-bivariant analog of the ideal theory for Tambara functors.