Definition (Isoperimetric inequality). An isoperimetric inequality on G is an inequality of the form

|b(A)|f(|A|)AG,

for some function f.