seminormal

adjective4

1. •
   Being a commutative reduced ring in which, whenever x, y satisfy x³=y², there is s with s²=x and s³=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.