This paper shows that in general, difference fields do not have a
difference closure. However, we introduce a stronger notion of closure
(-closure),
and show that every algebraically closed difference field
of
characteristic 0, with fixed field satisfying a certain natural condition, has a
-closure,
and this closure is unique up to isomorphism over
.