Complete intersection ring

In commutative algebra, a complete intersection ring is a commutative ring similar to the coordinate rings of varieties that are complete intersections. Informally, they can be thought of roughly as the local rings that can be defined using the "minimum possible" number of relations.

For Noetherian local rings, there is the following chain of inclusions:

Universally catenary ringsCohen–Macaulay ringsGorenstein ringscomplete intersection ringsregular local rings