Adjective
(algebra, of a ring) Being a commutative reduced ring in which, whenever x, y satisfy
x
3
=
y
2
{\displaystyle x^{3}=y^{2}}
, there is s with
s
2
=
x
{\displaystyle s^{2}=x}
and
s
3
=
y
{\displaystyle s^{3}=y}
.
(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.
Source: en.wiktionary.org