# Property: $I_0$

Definition: Every right ideal not contained in $J(R)$ contains a nonzero idempotent. Also called "semipotent".

## Metaproperties

This property has the following metaproperties
• passes to $eRe$ for any idempotent $e$
• passes to $eRe$ for any full idempotent $e$