集合の演算

記号 $\stackrel{def}{\Leftrightarrow}$は左辺の関係式の意味が右辺の関係式 で定義されることを表します。 また記号$:=$は左辺が右辺で定義されることを表します。