Mỗi tập con của có phần tử là một tổ hợp chập của . Do đó, số tập con như vậy bằng . Mặt khác, có một tập con của không có phần tử nào (tập rỗng), tức có tập con như vậy. Do đó, số tập con của bằng

Theo công thức nhị thức Newton, ta có

Vậy tập hợp có tập con.