讲义: 集合论/preamble

\theoremstyle{definition}\newtheorem*{axiom}{公理}
\newcommand{\dom}{\textrm{dom}\,}
\newcommand{\ran}{\textrm{ran}\,}
\newcommand{\set}[1]{\left\{#1\right\}}
\newcommand{\seq}[1]{\left<#1\right>}
\newcommand{\zh}[1]{\ \text{\small#1}}
\newcommand{\card}{\texttt{\#}}
\newcommand{\cf}{\textrm{cf}\,}