Ideal of finite colength

Definition

Let $R$ be a local commutative unital ring. An ideal $I$ inside $R$ is said to be of finite colength' if the following equivalent conditions are satisfied:

• $R/I$ is a local Artinian ring i.e. it has finite length