  It is proved that the continuum hypothesis implies the existence of a group M
containing a nonalgebraic unconditionally closed set, i.e., a set which is
closed in any Hausdorff group topology on M but is not an intersection of
finite unions of solution sets of equations in M.
