Definition:Quaternion Conjugation