dense ideal

Given a commutative ring $R$, an ideal/subset $I\subset R$ is said to be iff its annihilator is $\{0\}$, in other words

$$\mathrm{Ann}(I)=\{0\}$$

We can similarly define and in the case of noncommutative rings.