Seminormal Definition

(algebra, of a ring) Being a commutative reduced ring in which, whenever x, y satisfy , there is s with and .

(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.

(default logic, of a default) Having all its justifications entailing its conclusion.