부분환의 정의, 정리 및 성질