Ejercicio: especificación de los multiconjuntos de la práctica 1
Se debe escribir la especificación algebraica del TAD genérico “multiconjunto de elementos” que aparece en el enunciado de la práctica 1, con las operaciones: vacío, poner, esVacío, quitar, pertenece, frecuencia, unión, cardinal, diferencia y esSubconjunto, indicando además a qué clase pertenece cada operación (generadora/modificadora/observadora).