For a particular subset andBhaskelements then there are subsets ofB. Hence there are ordered pairs(A,B)where . BUT that is only for one particular subset.

Let’s do the general case: for any numberj, , there are subsets of havingjelements. Thus there are pairs of the form(A,B)where and |B|=j.

The total count: .