个共同顶点的多个子图组成的图。 (但他没有用到formula_1这个代号)
书的最大图.给出一个图formula_6，能包含formula_6的最大书图可记作formula_8。
书的定理.可定义满足拉姆齐数的两个三角形书为formula_9。当formula_10取最小值时，任意一个有formula_10个顶点的图中，该图不是本身包含子图formula_1就是它的补图包含子图formula_13。