Perfect ideal

Symbol-free definition
An ideal in a commutative unital ring is said to be perfect if the depth of $$I$$ in $$R$$ equals the projective dimension of $$R/I$$ as a $$R$$-module.