# Property: semiperfect

Definition: $R$ is semilocal and lift/rad

• passes to $eRe$ for any idempotent $e$
• passes to $eRe$ for any full idempotent $e$