Theorem
We have that the policies have the following relationships ΓS⊂ΓM⊂ΓAand so we also have that ∀{N,β,∞} γ∈ΓAinfJa(X,γ)⊂γ∈ΓMinfJa(X,γ)⊂γ∈ΓSinfJa(X,γ)also for a∈{N,β,∞} the first is an equality and for a∈{β,∞} the second is an equality.