\(\text{Definition}\)Tropicalization"\(a+b\)"\(:=max(x,y)\)"\(a\)\(\times\)\(b\)"\(:=x+y\)Idempotence:"\(x+x\)"\(=x\)Convexpiecewiselinearity:Theimageofthefunctionconsistsofaseriesoflin