Property: Grothendieck

Definition: Noetherian and its formal fibers are geometrically regular