Ecency
Associativity in Tropical Set Theory