right
α : Sort u_1
s t u s₁ s₂ t₁ t₂ : Set α
hs : s₁.Subset s₂
ht : t₁.Subset t₂
x : α
x✝ : x ∈ s₁.union t₁
ht₁ : x ∈ t₁
⊢ x ∈ s₂.union t₂
case h
α : Sort u_1
s t u s₁ s₂ t₁ t₂ : Set α
hs : s₁.Subset s₂
ht : t₁.Subset t₂
x : α
x✝ : x ∈ s₁.union t₁
ht₁ : x ∈ t₁
⊢ x ∈ t₂