Multi-set Tropical