tropical_半環