Definition:Pre-Multiplication