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

Result R1487 on D560: Subring

Ring is a subring of itself

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}