In order theory, the strong set order ≤ s {\displaystyle \leq _{s}} is a partial order over the subsets of a lattice. It is widely used to study monotone comparative statics of parametrized optimization problems in economic theory and operations research.

The strong set order was first defined and used by Arthur F. Veinott in his unpublished lecture notes. It was later popularized by Donald M. Topkis, Paul Milgrom and Chris Shannon via their work on monotone comparative statics, in particular through Topkis' Theorem.

Definition

Given a lattice ( X , ≤ ) {\displaystyle (X,\leq )}, consider the its power set P ( X ) {\displaystyle {\mathcal {P}}(X)}. The strong set order ≤ s {\displaystyle \leq _{s}} is a partial order on P ( X ) {\displaystyle {\mathcal {P}}(X)} given by:

A ≤ s B ⟺ { a ∨ b ∈ B a ∧ b ∈ A ∀ a ∈ A , b ∈ B , {\displaystyle A\leq _{s}B\iff \left\{{\begin{array}{ll}a\vee b\in B\\[0.1em]a\wedge b\in A\end{array}}\ \ \ \ \ \forall a\in A,b\in B,\right.}

where a ∨ b {\displaystyle a\vee b} and a ∧ b {\displaystyle a\wedge b} are respectively the join and meet of a , b {\displaystyle a,b}.

Examples and non-examples

Real numbers

Consider the real numbers R {\displaystyle \mathbb {R} } with the usual order ≥ {\displaystyle \geq }. Let A = [ a _ , a ¯ ] {\displaystyle A=[{\underline {a}},{\overline {a}}]} and B = [ b _ , b ¯ ] {\displaystyle B=[{\underline {b}},{\overline {b}}]}. Then

A ≤ s B ⟺ a _ ≤ b _ and a ¯ ≤ b ¯ {\displaystyle A\leq _{s}B\iff {\underline {a}}\leq {\underline {b}}\ {\text{ and }}\ {\overline {a}}\leq {\overline {b}}}.

More generally, for any A , B ⊆ R {\displaystyle A,B\subseteq \mathbb {R} }, we have

A ≤ s B ⟺ inf A ≤ inf B and sup A ≤ sup B {\displaystyle A\leq _{s}B\iff \inf A\leq \inf B\ {\text{ and }}\ \sup A\leq \sup B}.

Euclidean space

Consider the Euclidean space R n {\displaystyle \mathbb {R} ^{n}} with the usual pointwise order: x ≤ y ⟺ x i ≤ y i ∀ i ≤ n {\displaystyle \mathbf {x} \leq \mathbf {y} \iff x_{i}\leq y_{i}\ \ \forall i\leq n}. For n = 2 {\displaystyle n=2}, let

A = [ 0 , 2 ] × [ 0 , 3 ] , {\displaystyle A=[0,2]\times [0,3],}

B = [ 1 , 3 ] × [ 1 , 4 ] . {\displaystyle B=[1,3]\times [1,4].}

Then:A ≤ s B {\displaystyle A\leq _{s}B}. But now consider

B ′ = [ − 1 , 3 ] × [ 1 , 4 ] {\displaystyle B'=[-1,3]\times [1,4]};

Then A ≰ s B ′ {\displaystyle A\nleq _{s}B'}, since ( 0 , 0 ) ∈ A {\displaystyle (0,0)\in A}, ( − 1 , 1 ) ∈ B ′ {\displaystyle (-1,1)\in B'} but

( 0 , 0 ) ∧ ( − 1 , 1 ) = ( − 1 , 0 ) ∉ B ′ {\displaystyle (0,0)\wedge (-1,1)=(-1,0)\notin B'}.

Power set

Consider the power set of the natural numbers P ( N ) {\displaystyle {\mathcal {P}}(\mathbb {N} )} under the set-inclusion order: A ≤ B ⟺ A ⊆ B {\displaystyle A\leq B\iff A\subseteq B}. Let

A = { { 1 } } {\displaystyle A=\{\{1\}\}},

B = { { 1 } , { 2 } , { 1 , 2 , 3 } } {\displaystyle B=\{\{1\},\{2\},\{1,2,3\}\}}.

It it not true that A ≤ s B {\displaystyle A\leq _{s}B}. Indeed, we have { 1 } ∈ A {\displaystyle \{1\}\in A}, { 2 } ∈ B {\displaystyle \{2\}\in B}, but

{ 1 } ∧ { 2 } = { 1 } ∩ { 2 } = ∅ ∉ A , {\displaystyle \{1\}\wedge \{2\}=\{1\}\cap \{2\}=\varnothing \notin A,}

whence A ≰ s B {\displaystyle A\nleq _{s}B}.

Applications

Topkis' Theorem

The strong set order is widely used in monotone comparative statics, in particular via Topkis' Theorem. Given a lattice X {\displaystyle X}, a poset Θ {\displaystyle \Theta }, a constraint correspondence D : Θ ⇉ X {\displaystyle D:\Theta \rightrightarrows X} and a function f : X × Θ → R {\displaystyle f:X\times \Theta \to \mathbb {R} }, the theorem gives sufficient conditions for the correspondence

x ∗ ( θ ) = arg ⁡ max x ∈ D ( θ ) f ( x , θ ) {\displaystyle x^{*}(\theta )=\arg \max _{x\in D(\theta )}f(x,\theta )}

the be increasing in the strong set order, that is, for the statement

θ ≥ θ ′ ⟹ x ∗ ( θ ) ≥ s x ∗ ( θ ′ ) {\displaystyle \theta \geq \theta '\implies x^{*}(\theta )\geq _{s}x^{*}(\theta ')}

to hold.

Monotone selections

Increasigness in the strong set order can be used to obtain monotone selections from correspondences. Indeed, if X {\displaystyle X} is a poset and Y {\displaystyle Y} is a lattice, the correspondence Γ : X ⇉ Y {\displaystyle \Gamma :X\rightrightarrows Y} is nonempty-valued and increasing in the strong set order, then a monotone selection g {\displaystyle g} from Γ {\displaystyle \Gamma } exists if any of the following hold:

  • Γ ( x ) ⊆ Y {\displaystyle \Gamma (x)\subseteq Y} has a minimal element for every x ∈ X {\displaystyle x\in X} (in particular, if Γ {\displaystyle \Gamma } is complete-lattice-valued). One can thus take:g : X → Y {\displaystyle g:X\to Y} by putting g ( x ) = min Γ ( x ) {\displaystyle g(x)=\min \Gamma (x)}. The same works if a maximal element is available.
  • Y {\displaystyle Y} is a sublattice of a finite product of chains. This covers, for example, Y ⊆ R n {\displaystyle Y\subseteq \mathbb {R} ^{n}}.
  • X {\displaystyle X} is countable.

Zhou's Fixed-Point Theorem for correspondences

The strong set order can also be used for a generalization of Tarski's fixed-point theorem to correspondences known as Zhou's fixed-point theorem:

Theorem: let X {\displaystyle X} be a nonempty complete lattice and Γ : X ⇉ X {\displaystyle \Gamma :X\rightrightarrows X} a nonempty-valued correspondence. If Γ {\displaystyle \Gamma } is increasing in the strong set order and Γ ( x ) {\displaystyle \Gamma (x)} is a subcomplete sublattice for all x ∈ X {\displaystyle x\in X}, then Γ {\displaystyle \Gamma } has a fixed point. Moreover, the set Fix ( Γ ) {\displaystyle {\text{Fix}}(\Gamma )} of such fixed points is a complete lattice.

Weak set order

The strong set order if often too restrictive for some applications, in particular because it assumes that the underlying space X {\displaystyle X} is a lattice. A useful weaker ordering which can be used on the subsets of any poset X {\displaystyle X} is the weak set order ≤ w {\displaystyle \leq _{w}}, defined by:

A ≤ w B ⟺ { ∀ a ∈ A ∃ b ∈ B such that a ≤ b , and ∀ b ∈ B ∃ a ∈ A such that b ≥ a . {\displaystyle A\leq _{w}B\iff \left\{{\begin{array}{ll}\forall a\in A\ \ \exists b\in B\ {\text{ such that }}a\leq b,{\text{ and }}\\[0.1em]\forall b\in B\ \ \exists a\in A\ {\text{ such that }}b\geq a.\end{array}}\right.}

This order can moreover be broken down into two weaker orders: the upper and lower weak set orders ≤ u w , ≤ l w {\displaystyle \leq _{uw},\leq _{lw}}, respectively defined by:

A ≤ u w B ⟺ ∀ a ∈ A ∃ b ∈ B such that a ≤ b , {\displaystyle A\leq _{uw}B\iff \forall a\in A\ \ \exists b\in B\ {\text{ such that }}a\leq b,}

A ≤ l w B ⟺ ∀ b ∈ B ∃ a ∈ A such that b ≤ a . {\displaystyle A\leq _{lw}B\iff \forall b\in B\ \ \exists a\in A\ {\text{ such that }}b\leq a.}

Clearly A ≤ w B ⟺ A ≤ u w B and A ≤ l w B {\displaystyle A\leq _{w}B\iff A\leq _{uw}B{\text{ and }}A\leq _{lw}B}.

See also