As defined by Godsil & Royle's Algebraic Graph Theory, let , , and be fixed positive integers, with ; let be a fixed set of size ; and define as follows: the vertices of are the subsets of with size . Two subsets are connected by an edge if their intersection has size .