Dimension of an ideal

Definition
The dimension' of an ideal in a commutative unital ring is defined as the Krull dimension of the quotient ring by that ideal.