Subring

Let \((R,+,\cdot)\) be a ring. A subset \(U \subseteq R\) is a subring, if \((U, +, \cdot)\) is a ring with \(1_R = 1_U\)