Solution (source code)

= Solution

The <set difference> $\varnothing\setminus\varnothing$ is the <empty set>. Its <power set> contains exactly one element, the <empty set> itself. Therefore \b[the <cardinality> is $1$], not zero.