Definition of Girth