 Oka family

An Oka family of ideals is a family $\mathcal{G}$ such that $I+(a)\in \mathcal{G}$ and $(I:a)\in \mathcal{G}$ imply $I\in \mathcal{G}$.