Kolmogorov complexity
を満たすことを言う。ここで、formula_28は神託"A"に相対化にされた接頭コルモゴロフ複雑性である。