x∉[1,l−1]⋃[l+1,n]x\notin\left[1,l-1\right]\bigcup\left[l+1,n\right]x∈/[1,l−1]⋃[l+1,n]
应为
x∉[1,l−1]⋃[r+1,n]x\notin\left[1,l-1\right]\bigcup\left[r+1,n\right]x∈/[1,l−1]⋃[r+1,n]
$x\notin\left[1,l-1\right]\bigcup\left[r+1,n\right]$