Other desirable mathematical properties

------------