for SM being monotone OrderSortedSign st SM is op-discrete holds
SM is regular