supermodular protomodular semimodular orthomodular counimodular biprojective bivariational quasimodular submultiplicative supertropical