Solution (source code)

= Solution

The <singleton set> $\{\varnothing\}$ has cardinality one, so its <power set> has cardinality two. Taking the <Cartesian product> with the singleton $\{\varnothing\}$ leaves that cardinality equal to two. The outer power set therefore has \b[$2^2=4$] elements.