Değişken bir miktarda veri alan ve daha kısa, sabit uzunlukta bir çıktı üreten matematik işlemidir. Bir çıkarım işlevinin iki önemli özelliği vardır. Öncelikle, çıktıya bakarak, bu orijinal girdinin ne olduğunu anlamak matematiksel olarak zordur. İkincisi, girdinin en ufak bir parçasındaki değişiklik bile, tamamen farklı bir çıktı üretecektir.