Уменьшаемость

reducibility