In graph theory, the zig-zag product of regular graphs. , denoted by. , takes a large graph (. ) and a small graph (. ), and produces a graph that approximately inherits the size of the large one but the degree of the small one.