"r" の部分集合 "s" が "r" における加法と乗法について環になっているとき、"s" は部分環であるという。