# Definition:Non-Null Ideal

## Definition

Let $\struct {R, +, \circ}$ be a ring whose zero is $0_R$.

Let $J$ be an ideal of $R$ such that $J \ne \set {0_R}$.

Then $J$ is a non-null ideal of $R$.

## Also known as

A non-null ideal is also known as a non-zero ideal.