seminormal

semi- +‎ normal

seminormal (not comparable)

1. (algebra, of a ring) Being a commutative reduced ring in which, whenever x, y satisfy ${\displaystyle x^{3}=y^{2}}$ , there is s with ${\displaystyle s^{2}=x}$ and ${\displaystyle s^{3}=y}$ .
2. (group theory) 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. (default logic, of a default) Having all its justifications entailing its conclusion.

• seminormality

• Roman miles, marmelosin