Kolmogorov complexity
が成立するような集合について研究されている。ここで、"C"は単純コルモゴロフ複雑性である。そのような集合はC自明集合として知られている。