seminormal (suomeksi)

Määritelmät:

(lb, en, algebra, of a ring) 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$ .
(lb, en, 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''.
(lb, en, default logic, of a default) Having all its justifications entailing its conclusion.