Límites de Conmutatividad en Tipos de Datos Abstractos