Definition:Semiprime Ideal