整数拡張の定義と基本的な性質