PIPE DENT

Definition A <PIPE DENT> is a <DENT> that is a distortion of the pipe wall resulting in smaller internal diameter at the point of the dent, but not necessarily resulting in localised reduction of wall thickness