Definition:

tropicality