Nếu m > (m + 1)/2 hay là m > 1 thì tập thứ nhất là tập rỗng, mà tập rỗng là con của mọi tập hợp . Thỏa mãn
Nếu m < (m + 1)/2, hay là m < 1. Khi đó để tập [m; (m + 1)/2] là con của X thì có các trường hợp sau:
TH1: (m + 1)/2 < -1 => m < -3, đối chiều với đk m < 1 suy ra m < -3
TH2: m > 1, đối chiếu với đk m < 1, không thỏa mãn
Kết luận: m > 1 hoặc m < -3