# Definition:Non-Trivial Ring

## Definition

A non-trivial ring is a ring which is not trivial.

That is, a ring $R$ such that:

$\exists x, y \in R: x \circ y \ne 0_R$

where $0_R$ denotes the zero of $R$.

## Also known as

Some sources use a non-hyphenated version of the term: nontrivial ring.