ter;"><span class="math inline">\(\exists x\,\neg P(x)\)</span></td>
</tr>
</tbody>
</table>
</div>
<p>Chapter 2 of <em>HTPI</em> also introduces some more advanced set theory operations. For any set <span class="math inline">\(A\)</span>,</p>
<div class="quote">
<p><span class="math inline">\(\mathscr{P}(A) = \{X \mid X \subseteq A\} = {}\)</span> the <em>power set</em> of <span class="math inline">\(A\)</span>.</p>
</div>
<p>Also, if <span class="math inline">\(\mathcal{F}\)</span> is a family of sets—t