Stream: General

Topic: Naming suggestions for subadditivity?

Christian Pardillo Laursen (Jul 20 2025 at 15:50):

I'm writing a small theory of subadditive functions, where

$$f (x + y) \leq f x + f y$$

Naturally, I'd like to name my definitions subadditive_on for the domain restricted version, and subadditive for subadditive_on UNIV, but subadditive is already taken by the measure theory library for

$$f (x \cup y) \leq f x + f y$$

Any suggestions for alternate names, or workarounds? I'd rather not re-use the name since I'm importing Analysis for concave functions.

Last updated: Aug 23 2025 at 01:39 UTC