環の定義と基本的な演算性質