Algebraically closed group

Definition
A group is termed algebraically closed if every finite set of equations and inequations in the group that is consistent (i.e., the system has a solution in some bigger group containing the group) has a solution in the group itself.

Facts

 * Every countable group is a subgroup of an algebraically closed group