部分環の定義、定理および性質