0\}"> とおき， に対し， 0\}+O"> とおくと， は，包含関係について全順序集合，加法についてアーベル群になる． に対し， に対し， に対し， とおくと， は体になる．

重積分の変数変換． とすると， とおくと，

集合の内包的定義と外延的定義．

準同型定理．