環の定義