集合 $X$ について、$X$ 上の完全グラフとは、$X$ の任意の相異なる二点のあいだに辺をつないだグラフのことをいう。
また、自然数 $n$ について $n$ 点集合上の完全グラフを $K_n$ と表記する。