Property: regular local

Definition: Noetherian local ring where the minimal number of generators for the maximal ideal is equal to its Krull dimension