ThmDex – An index of mathematical definitions, results, and conjectures.

Formulation F9883 on R1487: Ring is a subring of itself

F9883

Formulation 0

Let $R$ be a D24: Ring such that

(i)	${\leq}$ is a D2108: Subring relation on $R$

Then \begin{equation} R \leq R \end{equation}