X, Y ile aynı zorluk seviyesinde ya da daha az zor olduğunu gösterir.
Birçok karmaşıklık sınıfı, bir azaltma kavramı kullanılarak tanımlanır. Azaltma, bir sorunun başka bir soruna dönüşmesidir. Bir sorunun en az başka bir sorun kadar zor olduğu gayri resmi kavramını yakalar. Örneğin, bir sorun X Y için bir algoritma kullanılarak çözülebilirse, X Y'den daha zor değildir ve biz X indirgeme birçok farklı türleri vardır Y'ye indirgenir demek, azaltma yöntemine dayalı olarak, Cook indirimleri, Karp indirimleri ve Levin indirimleri ve karmaşıklığına bağlı polinomial-zaman azalmaları veya günlük-alan indirimleri gibi azalmalar.

İndirgemeye göre, X ve Y aynı algoritma ile çözülebiliyorsa X, Y ile ilişkide hangi işlevi yerine getirir?