# What is the name of the property where $f(A) \supseteq f(B)$ when $A\supseteq B$?

Suppose I have a function $f$ on sets.

What is the property of $f$ called when,

for all sets $x$, $y$: $f(x)$ is a superset of $f(y)$ when $x$ is a superset of $y$

i.e.

$$\forall x,y : x\supseteq y \Rightarrow f(x) \supseteq f(y)$$

• Is this a question of computer science? – J.-E. Pin Mar 24 '15 at 10:58
• I think it's not; this seems to be pure mathematics question which we should probably migrate over to Mathematics. Community votes, please! (cc @J.-E.Pin) – Raphael Mar 24 '15 at 14:42
• Come on, guys, monotonicity is super important in lattice theory which has vast applications in logic, coalgebra, in the study of submodular functions and therefore also matroids, and also in the field of circuit complexity. What's with the trigger happiness? – Pål GD Mar 25 '15 at 12:48

## 1 Answer

It is called monotonicity with respect to the inclusion ordering of sets.

More precisely, it is in this case increasing monotonicity since the order is preserved. If the order was reversed, it would be decreasing monotonicity.

It can also be called direct monotonicity and reverse monotonicity, as increasing/decreasing seems used mostly for numeric functions.

The function is said to be strictly monotone iff (in the direct case)

$$\forall x,y : x\supsetneq y \Rightarrow f(x) \supsetneq f(y)$$

• What you're calling "decreasing monotonicity" (a term I've not heard) is also called being anti-monotone or antitone. – David Richerby Mar 24 '15 at 12:58
• @DavidRicherby "decreasing monotonicity" is used mostly for numeric functions. But I did not see why it should be restricted to that. I prefer direct and reverse monotonicity. I am not too happy with anti-monotone as it can be inperpreted as the opposite of monotone, while reverse nonotonicity is still monotonicity. I never heard of antitone, but why not. But I will not fight for terminology, unless it has political/sociological impact. – babou Mar 24 '15 at 13:06