Minimal group

Symbol-free definition
A group (possibly with additional structures and relations) is said to be minimal if all its proper definable subgroups are finite.

Weaker properties

 * Connected group for logicists
 * Centralizer-finite group
 * Centralizer-connected group