Def:
A: 環
部分集合S⊂Aが"Aの部分環"であるとは、包含写像

i: S → A （x → x）

が準同型になることである。