Tìm tất cả các tập hợp A thỏa mãn điều kiện {a; b} là tập con của A

Ta có: {a; b} ⊂ A nên tập hợp {a; b} là tập con của tập hợp A, do đó các phần tử của tập {a; b} đều là phần tử của tập A hay a, b là các phần tử của tập A.

Mà A ⊂ {a; b; c; d} nên tập A là tập con của tập {a; b; c; d}, do đó các phần tử của tập A đều là các phần tử của tập {a; b; c; d}, mà tập {a; b; c; d} gồm các phần tử là a, b, c, d, trong đó có a, b là các phần tử của tập A, do đó c, d có thể là các phần tử của tập A.

Vậy ta có các tập hợp A thỏa mãn điều kiện của bài toán là:

{a; b}, {a; b; c}, {a; b; d}, {a; b; c; d}.