レヴィ・チヴィタ・イプシロンの定義
\[
\epsilon_{ijk}=\begin{cases}
+1 & even\\
-1 & odd\\
0 & etc
\end{cases}
\]
位相空間での点列と収束・極限点の定義
\[
\forall U_{x}\in\mathcal{U}_{x},\exists N\in\mathbb{N},N\leq n\rightarrow x_{n}\in U_{x}
\]
選択関数と選択公理の定義
\[
\forall\lambda\in\Lambda,A_{\lambda}\ne\emptyset\rightarrow\prod_{\lambda\in\Lambda}A_{\lambda}\ne\emptyset
\]
平方剰余の定義
\[
QR(a,p)
\]