Definition:Vacuous Product