===== Unital ring =====
==== Set ====
| @#55CCEE: context     | @#55CCEE: $\langle X,+,* \rangle \in \mathrm{ring}(X)$ |
| @#FFBB00: definiendum | @#FFBB00: $\langle X,+,* \rangle \in \mathrm{it}$ |
| @#55EE55: postulate   | @#55EE55: $\langle X,* \rangle \in \mathrm{monoid}(X)$ |

-----
The second requirement implies that there is an identiy for the binary operation $*$. 

One generally (also) calls $X$ the unital ring, i.e. the set where the operations "$+$" and "$*$" are defined on.
==== Reference ====
Wikipedia: [[http://en.wikipedia.org/wiki/Ring_%28mathematics%29|Ring]]

-----
=== Subset of ===
[[Ring]]