  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.
