# Property: local complete intersection

Definition: Noetherian local ring whose completion is the quotient of a regular local ring by an ideal generated by a regular sequence