What is "seminormal"

a. 1 (context algebra of a ring English) 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 (context group theory English) 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 (context default logic of a default English) Having all its justifications entailing its conclusion.