Definition:Factorization