seminormal

Adjective

 * 1)  Being a commutative reduced ring in which, whenever x, y satisfy $$x^3 = y^2$$, there is s with $$s^2 = x$$ and $$s^3 = y$$.
 * 2)  Of a subgroup A of a group G, having a subgroup B such that AB = G, and for any proper subgroup C of B, AC is a proper subgroup of G.
 * 3)  Having all its justifications entailing its conclusion.
 * 4) Partially normal.