Property: Zorn

Definition: $R$ is $I_0$ and $J(R)$ is a nil ideal