Hãy xem xét từng tập hợp:

A = {x ∈ ℕ | 2x - 7 ≤ 0} là tập hợp các số tự nhiên x mà thỏa mãn điều kiện 2x - 7 ≤ 0. Điều này tương đương với x ≤ 7/2, vì vậy A = {1, 2, 3}.

B = {x ∈ ℝ | 2x - 1 < 5} là tập hợp các số thực x mà thỏa mãn điều kiện 2x - 1 < 5. Điều này tương đương với x < 3, vì vậy B là tập các số thực nhỏ hơn 3, tức là B = (-∞, 3).

C = {x ∈ ℝ | |x| < 4} là tập hợp các số thực x mà thỏa mãn điều kiện |x| < 4, tức là -4 < x < 4, vì vậy C = (-4, 4).

D = {x ∈ ℝ | -1 ≤ 2x - 1 ≤ 3} là tập hợp các số thực x mà thỏa mãn điều kiện -1 ≤ 2x - 1 ≤ 3. Điều này tương đương với -1 ≤ 2x - 1 và 2x - 1 ≤ 3, hay -1 ≤ 2x ≤ 2 và 2x ≤ 4, và từ đó -1/2 ≤ x ≤ 1 và x ≤ 2. Do đó, D = [-1/2, 1].

E = {x ∈ ℕ | (x³ - x)(x² - 5x + 6) = 0} là tập hợp các số tự nhiên x mà thỏa mãn phương trình (x³ - x)(x² - 5x + 6) = 0. Phương trình này có hai giá trị x là 0 và 3, vì vậy E = {0, 3}.

Bây giờ chúng ta có thể xác định các tập con và tập bằng nhau:

- A không phải là tập con của B, C, D hoặc E.
- B không phải là tập con của C hoặc E.
- C là tập con của D.
- D không phải là tập con của E.

Không có tập nào trong danh sách trên bằng nhau.