In mathematics, subadditivity is a property of a function that states, roughly, that evaluating the function for the sum of two elements of the domain always returns something less than or equal to the sum of the function's values at each element. There are numerous examples of subadditive functions in various areas of mathematics, particularly norms and square roots. Additive maps are special cases of subadditive functions.
In mathematics, subadditivity is a property of a function that states, roughly, that evaluating the function for the sum of two elements of the domain always returns something less than or equal to the sum of the function's values at each element. There are numerous examples of subadditive functions in various areas of mathematics, particularly norms and square roots. Additive maps are special cases of subadditive functions.
==Definitions== A subadditive function is a function f \colon A \to B, having a domain A and an ordered codomain B that are both closed under addition, with the following property: \forall x, y \in A, f(x+y)\leq f(x)+f(y).
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).