域の拡張:定義と性質