girdle: a band of material around the waist that strengthens a skirt or trousers
existential quantifier: a logical quantifier of a proposition that asserts the existence of at least one thing for which the proposition is true