Partial definition of multiplication.