- The cardinality of the set $X \coloneqq \set{1,2,3}$ is $\card{X}
- = 3$, and its powerset is $\powerset{X}$.
+ Here's a set $\set{1,2,3} = \setc{n \in \Nn[1]}{ n \le 3 }$. The
+ cardinality of the set $X \coloneqq \set{1,2,3}$ is $\card{X} =
+ 3$, and its powerset is $\powerset{X}$.