A unital subring of a ring $R$ is a subset $S$ of $R$ that is itself a ring under the binary operations in $R$ with the same additive and multiplicative identities.
Wikidata ID: Q929536