Redukcja (matematyka)