especifique un tipo abstracto de datos STOCK que permita las siguientes funcionalidades
*Registrar un nuevo producto con su stock minimo(un natura)
*Registrar las compras y las ventas de un producto, indicando la cantidad de los elementos comprados y vendidos respectivamente
*Permitir que sea informado un producto sustituto por otro dado
*Devolver el conjunto de todos los productos con stock debajo del minimo que no tengan sustituto, o bien tales que el total des stock del producto mas el de su sustituto esté por debajo del minimo
esto es lo que hice yo
Obs basicos
ProductosPorDebajoDelStockMinimo: stock -> conj(producto)
stockMinimo: stock s x producto p -> nat { p \in productos(s)}
generadores
crearStock -> stock
registrarProducto: stock s x producto p x nat n -> stock {p \in productos(s) y n >0}
registrarCompra: stock s x producto p x nat n -> stock {p \in productos(s)}
registrarVenta: stock s x producto p x nat -> stock {p\in productos(s) y n>=stockDisponible(s,p)}
definirSustituto: stock s x producto p x producto t -> stock {¬(p\in productos(s)) y t \in productos(s)}
igualdad Observacional: