divxtotal que son las definiciones