divxtotal que son definiciones