Property: fully prime

Definition: all proper ideals are prime