K自明集合
数学においてある自然数の集合がK自明集合（Kじめいしゅうごう、）であるとは、
そのを2進文字列と見た時に記述しやすいことを言う。
すなわち、その接頭コルモゴロフ複雑性が可能な限り低く，計算可能集合のそれに近いことを言う。
は1975年に計算不可能なK自明集合の存在を示した。
によれば、ランダムな集合の始切片は高い複雑性を持つ。
つまり、K自明集合はランダムからかけ離れているということである。
そのため、ランダムネスの理論で研究されており、
計算可能性理論や計算機科学におけるアルゴリズム情報理論とも関わりがある。
K自明集合は計算可能に近いという性質ももつ。
例えば、それらはすべてである、つまり、そのチューリングジャンプが停止問題に真理表還元可能である。
また、を形成する、つまり、上限に関して閉じていて、チューリング還元に関して下に閉じている。