Borel subgroup for logicians

Symbol-free definition
A Borel subgroup of a group (possibly with additional structures and relations) is a maximal definable connected proper subgroup.

In the special case that the group is a linear algebraic group and the additional structure is that coming coming from its linear algebraic structure, the Borel subgroups are precisely the Borel subgroups in the theory of algebraic groups.