─────────────
0⁻¹ δ⁻¹ ⊆ 0⁻¹
─────────── ─────────────
α ⊆ δ⁻¹ ζ γ δ δ⁻¹ ⊆ 1
─────────────── ───────────────
δ α ⊆ δ δ⁻¹ ζ γ δ δ⁻¹ ζ γ ⊆ ζ γ
─────────────────────────────────
δ α ⊆ ζ γ
─────────── ─────────
0⁻¹ ⊆ 0⁻¹ ν ν θ ⊆ λ ζ
───────────── ─────────────── ───────────────── ─────────────
0 γ⁻¹ ⊆ 0⁻¹ θ 0⁻¹ θ ⊆ 0⁻¹ ν θ 0⁻¹ ν θ ⊆ 0⁻¹ λ ζ 0⁻¹ ζ⁻¹ ⊆ 0⁻¹
─────────────────────────────────────────────────── ─────────────
0 γ⁻¹ ⊆ 0⁻¹ λ ζ ζ ζ⁻¹ ⊆ 1
─────────────────────────────────────────────────── ─────────────────── ─────────────
0 γ⁻¹ ζ⁻¹ ⊆ 0⁻¹ λ ζ ζ⁻¹ 0⁻¹ λ ζ ζ⁻¹ ⊆ 0⁻¹ λ 0⁻¹ λ ⊆ 0 δ⁻¹
───────────────────────────────────────────────────────────────────────────────────────── ───────────
0 γ⁻¹ ζ⁻¹ ⊆ 0 δ⁻¹ δ⁻¹ ζ γ ⊆ α
───────────────────────────────────────────────────────────────────────────────────────── ───────────────
ζ γ ⊆ δ δ⁻¹ ζ γ δ δ⁻¹ ζ γ ⊆ δ α
───────────────────────────────────────────────────────────────────────────────────────────────────────────
ζ γ ⊆ δ α
─────────────
0⁻¹ ε⁻¹ ⊆ 0⁻¹
─────────── ─────────────
β ⊆ ε⁻¹ η δ ε ε⁻¹ ⊆ 1
─────────────── ───────────────
ε β ⊆ ε ε⁻¹ η δ ε ε⁻¹ η δ ⊆ η δ
─────────────────────────────────
ε β ⊆ η δ
─────────── ─────────
0⁻¹ ⊆ 0⁻¹ ξ ξ λ ⊆ μ η
───────────── ─────────────── ───────────────── ─────────────
0 δ⁻¹ ⊆ 0⁻¹ λ 0⁻¹ λ ⊆ 0⁻¹ ξ λ 0⁻¹ ξ λ ⊆ 0⁻¹ μ η 0⁻¹ η⁻¹ ⊆ 0⁻¹
─────────────────────────────────────────────────── ─────────────
0 δ⁻¹ ⊆ 0⁻¹ μ η η η⁻¹ ⊆ 1
─────────────────────────────────────────────────── ─────────────────── ─────────────
0 δ⁻¹ η⁻¹ ⊆ 0⁻¹ μ η η⁻¹ 0⁻¹ μ η η⁻¹ ⊆ 0⁻¹ μ 0⁻¹ μ ⊆ 0 ε⁻¹
───────────────────────────────────────────────────────────────────────────────────────── ───────────
0 δ⁻¹ η⁻¹ ⊆ 0 ε⁻¹ ε⁻¹ η δ ⊆ β
───────────────────────────────────────────────────────────────────────────────────────── ───────────────
η δ ⊆ ε ε⁻¹ η δ ε ε⁻¹ η δ ⊆ ε β
───────────────────────────────────────────────────────────────────────────────────────────────────────────
η δ ⊆ ε β
─────────────
0⁻¹ ⊆ π⁻¹ 0⁻¹
───────────── ───────────
1 ⊆ π⁻¹ π ρ ν π⁻¹ ⊆ τ
─────────────── ───────────────
ρ ν ⊆ ρ ν π⁻¹ π ρ ν π⁻¹ π ⊆ τ π
─────────────────────────────────
ρ ν ⊆ τ π
───────── ───────────
ν θ ⊆ λ ζ ζ 0⁻¹ ⊆ 0⁻¹
───────────── ───────────────── ─────────────── ─────────────
0⁻¹ ⊆ ν⁻¹ 0⁻¹ ν θ 0⁻¹ ⊆ λ ζ 0⁻¹ λ ζ 0⁻¹ ⊆ λ 0⁻¹ λ 0⁻¹ ⊆ ρ⁻¹ 0
───────────── ───────────────────────────────────────────────────
1 ⊆ ν⁻¹ ν ν θ 0⁻¹ ⊆ ρ⁻¹ 0
───────────── ─────────────────── ───────────────────────────────────────────────────
π⁻¹ 0 ⊆ θ 0⁻¹ θ 0⁻¹ ⊆ ν⁻¹ ν θ 0⁻¹ ν⁻¹ ν θ 0⁻¹ ⊆ ν⁻¹ ρ⁻¹ 0
─────────── ─────────────────────────────────────────────────────────────────────────────────────────
τ ⊆ ρ ν π⁻¹ π⁻¹ 0 ⊆ ν⁻¹ ρ⁻¹ 0
─────────────── ─────────────────────────────────────────────────────────────────────────────────────────
τ π ⊆ ρ ν π⁻¹ π ρ ν π⁻¹ π ⊆ ρ ν
───────────────────────────────────────────────────────────────────────────────────────────────────────────
τ π ⊆ ρ ν
─────────────
0⁻¹ ⊆ ρ⁻¹ 0⁻¹
───────────── ───────────
1 ⊆ ρ⁻¹ ρ σ ξ ρ⁻¹ ⊆ φ
─────────────── ───────────────
σ ξ ⊆ σ ξ ρ⁻¹ ρ σ ξ ρ⁻¹ ρ ⊆ φ ρ
─────────────────────────────────
σ ξ ⊆ φ ρ
───────── ───────────
ξ λ ⊆ μ η η 0⁻¹ ⊆ 0⁻¹
───────────── ───────────────── ─────────────── ─────────────
0⁻¹ ⊆ ξ⁻¹ 0⁻¹ ξ λ 0⁻¹ ⊆ μ η 0⁻¹ μ η 0⁻¹ ⊆ μ 0⁻¹ μ 0⁻¹ ⊆ σ⁻¹ 0
───────────── ───────────────────────────────────────────────────
1 ⊆ ξ⁻¹ ξ ξ λ 0⁻¹ ⊆ σ⁻¹ 0
───────────── ─────────────────── ───────────────────────────────────────────────────
ρ⁻¹ 0 ⊆ λ 0⁻¹ λ 0⁻¹ ⊆ ξ⁻¹ ξ λ 0⁻¹ ξ⁻¹ ξ λ 0⁻¹ ⊆ ξ⁻¹ σ⁻¹ 0
─────────── ─────────────────────────────────────────────────────────────────────────────────────────
φ ⊆ σ ξ ρ⁻¹ ρ⁻¹ 0 ⊆ ξ⁻¹ σ⁻¹ 0
─────────────── ─────────────────────────────────────────────────────────────────────────────────────────
φ ρ ⊆ σ ξ ρ⁻¹ ρ σ ξ ρ⁻¹ ρ ⊆ σ ξ
───────────────────────────────────────────────────────────────────────────────────────────────────────────
φ ρ ⊆ σ ξ
───────
δ 0 ⊆ 0
─────────────── ─────────
ζ⁻¹ δ 0 ⊆ ζ⁻¹ 0 ζ⁻¹ 0 ⊆ 0
─────────────── ───────────────────────────
α⁻¹ ⊆ γ⁻¹ ζ⁻¹ δ ζ⁻¹ δ 0 ⊆ 0
─────────────────── ─────────────────────────── ─────────
α⁻¹ 0 ⊆ γ⁻¹ ζ⁻¹ δ 0 γ⁻¹ ζ⁻¹ δ 0 ⊆ γ⁻¹ 0 γ⁻¹ 0 ⊆ 0
─────────────────────────────────────────────────────────────
α⁻¹ 0 ⊆ 0
───────── ───────────────── ─────────────
0 ⊆ ν⁻¹ 0 θ⁻¹ ν⁻¹ ⊆ ζ⁻¹ λ⁻¹ λ⁻¹ 0 ⊆ δ 0⁻¹
───────────── ───────────── ───────────────── ───────────────────── ─────────────────────
0⁻¹ ⊆ γ⁻¹ 0⁻¹ γ 0⁻¹ ⊆ θ⁻¹ 0 θ⁻¹ 0 ⊆ θ⁻¹ ν⁻¹ 0 θ⁻¹ ν⁻¹ 0 ⊆ ζ⁻¹ λ⁻¹ 0 ζ⁻¹ λ⁻¹ 0 ⊆ ζ⁻¹ δ 0⁻¹
───────────── ───────────────────────────────────────────────────────────────────────────────── ───────────────
1 ⊆ γ⁻¹ γ γ 0⁻¹ ⊆ ζ⁻¹ δ 0⁻¹ γ⁻¹ ζ⁻¹ δ ⊆ α⁻¹
─────────────── ───────────────────────────────────────────────────────────────────────────────── ───────────────────────
0⁻¹ ⊆ γ⁻¹ γ 0⁻¹ γ⁻¹ γ 0⁻¹ ⊆ γ⁻¹ ζ⁻¹ δ 0⁻¹ γ⁻¹ ζ⁻¹ δ 0⁻¹ ⊆ α⁻¹ 0⁻¹
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
0⁻¹ ⊆ α⁻¹ 0⁻¹
───────
γ 0 ⊆ 0
─────────── ───────
ζ γ 0 ⊆ ζ 0 ζ 0 ⊆ 0
─────────── ─────────────────────
α ⊆ δ⁻¹ ζ γ ζ γ 0 ⊆ 0
─────────────── ───────────────────── ─────────
α 0 ⊆ δ⁻¹ ζ γ 0 δ⁻¹ ζ γ 0 ⊆ δ⁻¹ 0 δ⁻¹ 0 ⊆ 0
───────────────────────────────────────────────────
α 0 ⊆ 0
─────────── ───────
γ 0⁻¹ ⊆ 0⁻¹ 0 ⊆ ε 0
─────────────── ───────────── ───────────────
ζ γ 0⁻¹ ⊆ ζ 0⁻¹ ζ 0⁻¹ ⊆ η⁻¹ 0 η⁻¹ 0 ⊆ η⁻¹ ε 0
─────────── ───────────────────────────────────────────────── ───────────────
α ⊆ δ⁻¹ ζ γ ζ γ 0⁻¹ ⊆ η⁻¹ ε 0 δ⁻¹ η⁻¹ ε ⊆ β⁻¹
─────────────────── ───────────────────────────────────────────────── ───────────────────
α 0⁻¹ ⊆ δ⁻¹ ζ γ 0⁻¹ δ⁻¹ ζ γ 0⁻¹ ⊆ δ⁻¹ η⁻¹ ε 0 δ⁻¹ η⁻¹ ε 0 ⊆ β⁻¹ 0
─────────────────────────────────────────────────────────────────────────────────────────────
α 0⁻¹ ⊆ β⁻¹ 0
───────────── ───────────────── ─────────
δ 0⁻¹ ⊆ λ⁻¹ 0 ζ⁻¹ λ⁻¹ ⊆ θ⁻¹ ν⁻¹ ν⁻¹ 0 ⊆ 0
─────── ───────────────────── ───────────────────── ───────────────── ─────────────
ε 0 ⊆ 0 ζ⁻¹ δ 0⁻¹ ⊆ ζ⁻¹ λ⁻¹ 0 ζ⁻¹ λ⁻¹ 0 ⊆ θ⁻¹ ν⁻¹ 0 θ⁻¹ ν⁻¹ 0 ⊆ θ⁻¹ 0 θ⁻¹ 0 ⊆ γ 0⁻¹
─────────────── ───────────── ─────────────────────────────────────────────────────────────────────────────────
η⁻¹ ε 0 ⊆ η⁻¹ 0 η⁻¹ 0 ⊆ ζ 0⁻¹ ζ⁻¹ δ 0⁻¹ ⊆ γ 0⁻¹
─────────────── ─────────────────────────────── ───────────────────────────────────────────────────────────────────────────────── ───────────── ───────────
β⁻¹ ⊆ δ⁻¹ η⁻¹ ε η⁻¹ ε 0 ⊆ ζ 0⁻¹ δ⁻¹ ζ ⊆ δ⁻¹ ζ γ γ⁻¹ γ⁻¹ 0⁻¹ ⊆ 0⁻¹ δ⁻¹ ζ γ ⊆ α
─────────────────── ─────────────────────────────── ───────────────────────────────────────────────────────────────────────────────── ───────────────────────────── ───────────────────
β⁻¹ 0 ⊆ δ⁻¹ η⁻¹ ε 0 δ⁻¹ η⁻¹ ε 0 ⊆ δ⁻¹ ζ 0⁻¹ δ⁻¹ ζ 0⁻¹ ⊆ δ⁻¹ ζ γ γ⁻¹ 0⁻¹ δ⁻¹ ζ γ γ⁻¹ 0⁻¹ ⊆ δ⁻¹ ζ γ 0⁻¹ δ⁻¹ ζ γ 0⁻¹ ⊆ α 0⁻¹
───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
β⁻¹ 0 ⊆ α 0⁻¹
───────── ───────────────── ─────────────
0 ⊆ ξ⁻¹ 0 λ⁻¹ ξ⁻¹ ⊆ η⁻¹ μ⁻¹ μ⁻¹ 0 ⊆ ε 0⁻¹
───────────── ───────────── ───────────────── ───────────────────── ─────────────────────
0⁻¹ ⊆ δ⁻¹ 0⁻¹ δ 0⁻¹ ⊆ λ⁻¹ 0 λ⁻¹ 0 ⊆ λ⁻¹ ξ⁻¹ 0 λ⁻¹ ξ⁻¹ 0 ⊆ η⁻¹ μ⁻¹ 0 η⁻¹ μ⁻¹ 0 ⊆ η⁻¹ ε 0⁻¹
───────────── ───────────────────────────────────────────────────────────────────────────────── ───────────────
1 ⊆ δ⁻¹ δ δ 0⁻¹ ⊆ η⁻¹ ε 0⁻¹ δ⁻¹ η⁻¹ ε ⊆ β⁻¹
─────────────── ───────────────────────────────────────────────────────────────────────────────── ───────────────────────
0⁻¹ ⊆ δ⁻¹ δ 0⁻¹ δ⁻¹ δ 0⁻¹ ⊆ δ⁻¹ η⁻¹ ε 0⁻¹ δ⁻¹ η⁻¹ ε 0⁻¹ ⊆ β⁻¹ 0⁻¹
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
0⁻¹ ⊆ β⁻¹ 0⁻¹
───────
δ 0 ⊆ 0
─────────── ───────
η δ 0 ⊆ η 0 η 0 ⊆ 0
─────────── ─────────────────────
β ⊆ ε⁻¹ η δ η δ 0 ⊆ 0
─────────────── ───────────────────── ─────────
β 0 ⊆ ε⁻¹ η δ 0 ε⁻¹ η δ 0 ⊆ ε⁻¹ 0 ε⁻¹ 0 ⊆ 0
───────────────────────────────────────────────────
β 0 ⊆ 0
─────────
0 ⊆ π⁻¹ 0
─────── ─────────────
0 ⊆ ν 0 ν 0 ⊆ ν π⁻¹ 0
───────────────────────
0 ⊆ ν π⁻¹ 0
───────────── ───────────────────────
δ 0⁻¹ ⊆ λ⁻¹ 0 λ⁻¹ 0 ⊆ λ⁻¹ ν π⁻¹ 0
─────────── ─────────────────────────────────────── ─────────────────────
β ⊆ ε⁻¹ η δ δ 0⁻¹ ⊆ λ⁻¹ ν π⁻¹ 0 ε⁻¹ η λ⁻¹ ν π⁻¹ ⊆ ω⁻¹
─────────────────── ─────────────────────────────────────── ─────────────────────────
β 0⁻¹ ⊆ ε⁻¹ η δ 0⁻¹ ε⁻¹ η δ 0⁻¹ ⊆ ε⁻¹ η λ⁻¹ ν π⁻¹ 0 ε⁻¹ η λ⁻¹ ν π⁻¹ 0 ⊆ ω⁻¹ 0
─────────────────────────────────────────────────────────────────────────────────────────
β 0⁻¹ ⊆ ω⁻¹ 0
───────
0 ⊆ η 0
───────────── ─────────────── ─────────────
ζ 0⁻¹ ⊆ η⁻¹ 0 η⁻¹ 0 ⊆ η⁻¹ η 0 0⁻¹ ⊆ λ⁻¹ 0⁻¹
───────────── ───────── ─────────────────────────────── ───────────── ───────
π⁻¹ 0 ⊆ θ 0⁻¹ ν θ ⊆ λ ζ ζ 0⁻¹ ⊆ η⁻¹ η 0 1 ⊆ λ⁻¹ λ λ 0 ⊆ 0
───────────────── ───────────────── ─────────────────────────────── ─────────────────── ─────────────── ─────────────
ν π⁻¹ 0 ⊆ ν θ 0⁻¹ ν θ 0⁻¹ ⊆ λ ζ 0⁻¹ λ ζ 0⁻¹ ⊆ λ η⁻¹ η 0 η⁻¹ 0 ⊆ λ⁻¹ λ η⁻¹ 0 λ⁻¹ λ 0 ⊆ λ⁻¹ 0 λ⁻¹ 0 ⊆ δ 0⁻¹
─────────────────────────────────────────────────────────────────────── ─────────────────────── ───────────────────────────────
ν π⁻¹ 0 ⊆ λ η⁻¹ η 0 η λ⁻¹ λ η⁻¹ η ⊆ η λ⁻¹ λ λ⁻¹ λ 0 ⊆ δ 0⁻¹
─────────────────────────────────────────────────────────────────────── ─────────────────────────── ───────────────────────────────
η λ⁻¹ ν π⁻¹ 0 ⊆ η λ⁻¹ λ η⁻¹ η 0 η λ⁻¹ λ η⁻¹ η 0 ⊆ η λ⁻¹ λ 0 η λ⁻¹ λ 0 ⊆ η δ 0⁻¹
───────────────────── ─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────── ───────────
ω⁻¹ ⊆ ε⁻¹ η λ⁻¹ ν π⁻¹ η λ⁻¹ ν π⁻¹ 0 ⊆ η δ 0⁻¹ ε⁻¹ η δ ⊆ β
───────────────────────── ─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────── ───────────────────
ω⁻¹ 0 ⊆ ε⁻¹ η λ⁻¹ ν π⁻¹ 0 ε⁻¹ η λ⁻¹ ν π⁻¹ 0 ⊆ ε⁻¹ η δ 0⁻¹ ε⁻¹ η δ 0⁻¹ ⊆ β 0⁻¹
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
ω⁻¹ 0 ⊆ β 0⁻¹
─────────────
0⁻¹ ⊆ π⁻¹ 0⁻¹
─────────── ───────────── ─────────────────
0⁻¹ ⊆ η 0⁻¹ ξ⁻¹ 0 ⊆ ν 0⁻¹ ν 0⁻¹ ⊆ ν π⁻¹ 0⁻¹
───────────── ─────────────────── ───────────── ───────────────── ─────────────────────────────────
0⁻¹ ⊆ ε⁻¹ 0⁻¹ ε⁻¹ 0⁻¹ ⊆ ε⁻¹ η 0⁻¹ ε 0⁻¹ ⊆ μ⁻¹ 0 η⁻¹ μ⁻¹ ⊆ λ⁻¹ ξ⁻¹ ξ⁻¹ 0 ⊆ ν π⁻¹ 0⁻¹
─────────────────────────────────── ───────────────────── ───────────────────── ─────────────────────────────────
0⁻¹ ⊆ ε⁻¹ η 0⁻¹ η⁻¹ ε 0⁻¹ ⊆ η⁻¹ μ⁻¹ 0 η⁻¹ μ⁻¹ 0 ⊆ λ⁻¹ ξ⁻¹ 0 λ⁻¹ ξ⁻¹ 0 ⊆ λ⁻¹ ν π⁻¹ 0⁻¹
─────────────────────────────────── ───────────────────────────────────────────────────────────────────────────────── ─────────────────────
1 ⊆ ε⁻¹ η η⁻¹ ε η⁻¹ ε 0⁻¹ ⊆ λ⁻¹ ν π⁻¹ 0⁻¹ ε⁻¹ η λ⁻¹ ν π⁻¹ ⊆ ω⁻¹
─────────────────────────────────── ───────────────────────────────────────────────────────────────────────────────── ─────────────────────────────
0⁻¹ ⊆ ε⁻¹ η η⁻¹ ε 0⁻¹ ε⁻¹ η η⁻¹ ε 0⁻¹ ⊆ ε⁻¹ η λ⁻¹ ν π⁻¹ 0⁻¹ ε⁻¹ η λ⁻¹ ν π⁻¹ 0⁻¹ ⊆ ω⁻¹ 0⁻¹
───────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
0⁻¹ ⊆ ω⁻¹ 0⁻¹
───────
ε 0 ⊆ 0
─────────────── ───────────── ─────────
η⁻¹ ε 0 ⊆ η⁻¹ 0 η⁻¹ 0 ⊆ ζ 0⁻¹ ν⁻¹ 0 ⊆ 0
─────────────────────────────── ───────── ───────────── ───────────── ───────
η⁻¹ ε 0 ⊆ ζ 0⁻¹ λ ζ ⊆ ν θ θ 0⁻¹ ⊆ π⁻¹ 0 π ν⁻¹ 0 ⊆ π 0 π 0 ⊆ 0
─────────────────────────────── ───────────────── ───────────────── ───────────────────────
λ η⁻¹ ε 0 ⊆ λ ζ 0⁻¹ λ ζ 0⁻¹ ⊆ ν θ 0⁻¹ ν θ 0⁻¹ ⊆ ν π⁻¹ 0 π ν⁻¹ 0 ⊆ 0
───────────────── ─────────────────────────────────────────────────────────────────────── ───────────────────────
ω ⊆ π ν⁻¹ λ η⁻¹ ε λ η⁻¹ ε 0 ⊆ ν π⁻¹ 0 π ν⁻¹ ν π⁻¹ ⊆ 1
───────────────────── ─────────────────────────────────────────────────────────────────────── ───────────────────────
ω 0 ⊆ π ν⁻¹ λ η⁻¹ ε 0 π ν⁻¹ λ η⁻¹ ε 0 ⊆ π ν⁻¹ ν π⁻¹ 0 π ν⁻¹ ν π⁻¹ 0 ⊆ 0
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
ω 0 ⊆ 0
───────────
ε 0⁻¹ ⊆ 0⁻¹
─────────────────── ─────────────
η⁻¹ ε 0⁻¹ ⊆ η⁻¹ 0⁻¹ η⁻¹ 0⁻¹ ⊆ 0⁻¹
───────────────────────────────────
η⁻¹ ε 0⁻¹ ⊆ 0⁻¹
─────────────────────────────────── ─────────────
λ η⁻¹ ε 0⁻¹ ⊆ λ 0⁻¹ λ 0⁻¹ ⊆ ρ⁻¹ 0
───────────────── ─────────────────────────────────────────────────── ───────────────
ω ⊆ π ν⁻¹ λ η⁻¹ ε λ η⁻¹ ε 0⁻¹ ⊆ ρ⁻¹ 0 π ν⁻¹ ρ⁻¹ ⊆ τ⁻¹
───────────────────────── ─────────────────────────────────────────────────── ───────────────────
ω 0⁻¹ ⊆ π ν⁻¹ λ η⁻¹ ε 0⁻¹ π ν⁻¹ λ η⁻¹ ε 0⁻¹ ⊆ π ν⁻¹ ρ⁻¹ 0 π ν⁻¹ ρ⁻¹ 0 ⊆ τ⁻¹ 0
─────────────────────────────────────────────────────────────────────────────────────────────────────
ω 0⁻¹ ⊆ τ⁻¹ 0
─────────────
ν⁻¹ 0⁻¹ ⊆ 0⁻¹
─────── ───────────────── ─────────────
λ 0 ⊆ 0 ν ν⁻¹ 0⁻¹ ⊆ ν 0⁻¹ ν 0⁻¹ ⊆ ξ⁻¹ 0
───────────── ───────── ───────────────────────────────── ───────────────── ─────────────
0⁻¹ ⊆ λ⁻¹ 0⁻¹ λ λ⁻¹ ⊆ 1 ν ν⁻¹ 0⁻¹ ⊆ ξ⁻¹ 0 λ⁻¹ ξ⁻¹ ⊆ η⁻¹ μ⁻¹ μ⁻¹ 0 ⊆ ε 0⁻¹
───────────── ───────────────── ─────────────────── ───────────────────────────────── ───────────────────── ─────────────────────
ρ⁻¹ 0 ⊆ λ 0⁻¹ λ 0⁻¹ ⊆ λ λ⁻¹ 0⁻¹ λ λ⁻¹ ν 0⁻¹ ⊆ ν 0⁻¹ λ⁻¹ ν ν⁻¹ 0⁻¹ ⊆ λ⁻¹ ξ⁻¹ 0 λ⁻¹ ξ⁻¹ 0 ⊆ η⁻¹ μ⁻¹ 0 η⁻¹ μ⁻¹ 0 ⊆ η⁻¹ ε 0⁻¹
───────────────────────────────── ─────────────────────────── ─────────────────────────────────────────────────────────────────────────────────
ρ⁻¹ 0 ⊆ λ λ⁻¹ 0⁻¹ ν⁻¹ λ λ⁻¹ ⊆ ν⁻¹ λ λ⁻¹ ν ν⁻¹ λ⁻¹ ν ν⁻¹ 0⁻¹ ⊆ η⁻¹ ε 0⁻¹
───────────────────────────────── ─────────────────────────────────── ─────────────────────────────────────────────────────────────────────────────────
ν⁻¹ ρ⁻¹ 0 ⊆ ν⁻¹ λ λ⁻¹ 0⁻¹ ν⁻¹ λ λ⁻¹ 0⁻¹ ⊆ ν⁻¹ λ λ⁻¹ ν ν⁻¹ 0⁻¹ ν⁻¹ λ λ⁻¹ ν ν⁻¹ 0⁻¹ ⊆ ν⁻¹ λ η⁻¹ ε 0⁻¹
─────────────── ─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────── ─────────────────
τ⁻¹ ⊆ π ν⁻¹ ρ⁻¹ ν⁻¹ ρ⁻¹ 0 ⊆ ν⁻¹ λ η⁻¹ ε 0⁻¹ π ν⁻¹ λ η⁻¹ ε ⊆ ω
─────────────────── ─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────── ─────────────────────────
τ⁻¹ 0 ⊆ π ν⁻¹ ρ⁻¹ 0 π ν⁻¹ ρ⁻¹ 0 ⊆ π ν⁻¹ λ η⁻¹ ε 0⁻¹ π ν⁻¹ λ η⁻¹ ε 0⁻¹ ⊆ ω 0⁻¹
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
τ⁻¹ 0 ⊆ ω 0⁻¹
─────────────
0⁻¹ ⊆ ρ⁻¹ 0⁻¹
───────────── ─────────────────────
0⁻¹ ⊆ ν⁻¹ 0⁻¹ ν⁻¹ 0⁻¹ ⊆ ν⁻¹ ρ⁻¹ 0⁻¹
───────────────────────────────────── ───────────────
0⁻¹ ⊆ ν⁻¹ ρ⁻¹ 0⁻¹ π ν⁻¹ ρ⁻¹ ⊆ τ⁻¹
─────────── ───────────────────────────────────── ───────────────────────
0⁻¹ ⊆ π 0⁻¹ π 0⁻¹ ⊆ π ν⁻¹ ρ⁻¹ 0⁻¹ π ν⁻¹ ρ⁻¹ 0⁻¹ ⊆ τ⁻¹ 0⁻¹
─────────────────────────────────────────────────────────────────────────────
0⁻¹ ⊆ τ⁻¹ 0⁻¹
───────────── ───────── ───────────
π⁻¹ 0 ⊆ θ 0⁻¹ ν θ ⊆ λ ζ ζ 0⁻¹ ⊆ 0⁻¹
───────────────── ───────────────── ─────────────── ───────────── ───────
ν π⁻¹ 0 ⊆ ν θ 0⁻¹ ν θ 0⁻¹ ⊆ λ ζ 0⁻¹ λ ζ 0⁻¹ ⊆ λ 0⁻¹ λ 0⁻¹ ⊆ ρ⁻¹ 0 ρ 0 ⊆ 0
─────────── ─────────────────────────────────────────────────────────────────────── ─────────
τ ⊆ ρ ν π⁻¹ ν π⁻¹ 0 ⊆ ρ⁻¹ 0 ρ ρ⁻¹ ⊆ 1
─────────────── ─────────────────────────────────────────────────────────────────────── ───────────
τ 0 ⊆ ρ ν π⁻¹ 0 ρ ν π⁻¹ 0 ⊆ ρ ρ⁻¹ 0 ρ ρ⁻¹ 0 ⊆ 0
───────────────────────────────────────────────────────────────────────────────────────────────────────
τ 0 ⊆ 0
───────────── ─────────
π⁻¹ 0⁻¹ ⊆ 0⁻¹ 0 ⊆ σ⁻¹ 0
───────────────── ───────────── ─────────────────
ν π⁻¹ 0⁻¹ ⊆ ν 0⁻¹ ν 0⁻¹ ⊆ ξ⁻¹ 0 ξ⁻¹ 0 ⊆ ξ⁻¹ σ⁻¹ 0
─────────── ───────────────────────────────────────────────────── ───────────────
τ ⊆ ρ ν π⁻¹ ν π⁻¹ 0⁻¹ ⊆ ξ⁻¹ σ⁻¹ 0 ρ ξ⁻¹ σ⁻¹ ⊆ φ⁻¹
─────────────────── ───────────────────────────────────────────────────── ───────────────────
τ 0⁻¹ ⊆ ρ ν π⁻¹ 0⁻¹ ρ ν π⁻¹ 0⁻¹ ⊆ ρ ξ⁻¹ σ⁻¹ 0 ρ ξ⁻¹ σ⁻¹ 0 ⊆ φ⁻¹ 0
─────────────────────────────────────────────────────────────────────────────────────────────────
τ 0⁻¹ ⊆ φ⁻¹ 0
─────────── ───────── ─────────────
0⁻¹ ⊆ η 0⁻¹ μ η ⊆ ξ λ λ 0⁻¹ ⊆ ρ⁻¹ 0
───────────── ─────────────── ───────────────── ───────────────── ─────────────
σ⁻¹ 0 ⊆ μ 0⁻¹ μ 0⁻¹ ⊆ μ η 0⁻¹ μ η 0⁻¹ ⊆ ξ λ 0⁻¹ ξ λ 0⁻¹ ⊆ ξ ρ⁻¹ 0 0⁻¹ ⊆ π⁻¹ 0⁻¹
─────────────────────────────────────────────────────────────────────── ───────────── ─────────────────
σ⁻¹ 0 ⊆ ξ ρ⁻¹ 0 ξ⁻¹ 0 ⊆ ν 0⁻¹ ν 0⁻¹ ⊆ ν π⁻¹ 0⁻¹
─────────────── ─────── ─────────────────────────────────────────────────────────────────────── ───────────────────────────────── ───────────
φ⁻¹ ⊆ ρ ξ⁻¹ σ⁻¹ 0 ⊆ σ 0 ρ ξ⁻¹ σ⁻¹ σ ⊆ ρ ξ⁻¹ ξ⁻¹ 0 ⊆ ν π⁻¹ 0⁻¹ ρ ν π⁻¹ ⊆ τ
─────────────────── ─────────────────────────── ─────────────────────────────────────────────────────────────────────── ───────────────────────────────── ───────────────────
φ⁻¹ 0 ⊆ ρ ξ⁻¹ σ⁻¹ 0 ρ ξ⁻¹ σ⁻¹ 0 ⊆ ρ ξ⁻¹ σ⁻¹ σ 0 ρ ξ⁻¹ σ⁻¹ σ 0 ⊆ ρ ξ⁻¹ 0 ρ ξ⁻¹ 0 ⊆ ρ ν π⁻¹ 0⁻¹ ρ ν π⁻¹ 0⁻¹ ⊆ τ 0⁻¹
─────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────────
φ⁻¹ 0 ⊆ τ 0⁻¹
─────────────
0⁻¹ ⊆ σ⁻¹ 0⁻¹
───────────── ─────────────────────
0⁻¹ ⊆ ξ⁻¹ 0⁻¹ ξ⁻¹ 0⁻¹ ⊆ ξ⁻¹ σ⁻¹ 0⁻¹
───────────────────────────────────── ───────────────
0⁻¹ ⊆ ξ⁻¹ σ⁻¹ 0⁻¹ ρ ξ⁻¹ σ⁻¹ ⊆ φ⁻¹
─────────── ───────────────────────────────────── ───────────────────────
0⁻¹ ⊆ ρ 0⁻¹ ρ 0⁻¹ ⊆ ρ ξ⁻¹ σ⁻¹ 0⁻¹ ρ ξ⁻¹ σ⁻¹ 0⁻¹ ⊆ φ⁻¹ 0⁻¹
─────────────────────────────────────────────────────────────────────────────
0⁻¹ ⊆ φ⁻¹ 0⁻¹
───────────── ───────── ───────────
ρ⁻¹ 0 ⊆ λ 0⁻¹ ξ λ ⊆ μ η η 0⁻¹ ⊆ 0⁻¹
───────────────── ───────────────── ─────────────── ───────────── ───────
ξ ρ⁻¹ 0 ⊆ ξ λ 0⁻¹ ξ λ 0⁻¹ ⊆ μ η 0⁻¹ μ η 0⁻¹ ⊆ μ 0⁻¹ μ 0⁻¹ ⊆ σ⁻¹ 0 σ 0 ⊆ 0
─────────── ─────────────────────────────────────────────────────────────────────── ─────────
φ ⊆ σ ξ ρ⁻¹ ξ ρ⁻¹ 0 ⊆ σ⁻¹ 0 σ σ⁻¹ ⊆ 1
─────────────── ─────────────────────────────────────────────────────────────────────── ───────────
φ 0 ⊆ σ ξ ρ⁻¹ 0 σ ξ ρ⁻¹ 0 ⊆ σ σ⁻¹ 0 σ σ⁻¹ 0 ⊆ 0
───────────────────────────────────────────────────────────────────────────────────────────────────────
φ 0 ⊆ 0
─────────────
0⁻¹ ⊆ ρ⁻¹ 0⁻¹
─────────── ─────────────────
0⁻¹ ⊆ ξ 0⁻¹ ξ 0⁻¹ ⊆ ξ ρ⁻¹ 0⁻¹
─────────────────────────────── ───────────
0⁻¹ ⊆ ξ ρ⁻¹ 0⁻¹ σ ξ ρ⁻¹ ⊆ φ
─────────── ─────────────────────────────── ───────────────────
0⁻¹ ⊆ σ 0⁻¹ σ 0⁻¹ ⊆ σ ξ ρ⁻¹ 0⁻¹ σ ξ ρ⁻¹ 0⁻¹ ⊆ φ 0⁻¹
───────────────────────────────────────────────────────────────────
0⁻¹ ⊆ φ 0⁻¹