The algebraic closure of a field $k$ is defined as an algebraic extension of $k$ that is algebraically closed. It is unique up to field isomorphism.