Definition 3.1 (Expansion). Given a d-regular graph G and S⊆V, the expansion of S is

Φ(S):=e(S,V∖S)d|S|.