クネーザーグラフ
数学のグラフ理論におけるクネーザーグラフ（） とは、"n" 元集合の"k"元部分集合を各頂点に配し、互いに素な集合に対応する頂点を辺で結んだグラフのことを言う。1955年に初めて研究したマルティン・クネーザーの名にちなむ。