Purely positively definable subgroup

Definition
A subgroup of a group is termed a purely positively definable subgroup if, in the pure theory of the group, the subgroup can be defined as the set of elements satisfying a first-order logic condition that uses only positive logic, i.e., there is no use of the negation quantifier.