Definition:Post-Multiplication