Galois correspondence between iterative post algebras and relations on an infinite set