It introduces the concept of power semigroup, studies the relations between homomorphism and congruence of power semigroup and obtains some perfect results.