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

|b(A)|≥f(|A|)∀⁡A⊂G,

for some function f.