Three key points:
Adding current to results at every call (not just at base case) captures all subset sizes.
The empty subset comes from the initial call before any elements are added.
This pattern is the foundation for generating power sets and appears in many combination problems.