Definably simple group

Symbol-free definition
A group (possibly with additional structures and relations) is said to be definably simple if it has no proper nontrivial definable normal subgroup.

Weaker properties
For infinite groups, the following properties are weaker:


 * Connected group for logicists
 * Centralizer-connected group