  In this paper, we generalize the definition of the differential Galois group
and the Galois correspondence theorem established previously for Picard-Vessiot
extensions of real differential fields with real closed field of constants to
any Picard-Vessiot extension.
