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

Φ(S):=e(S,VS)d|S|.