S. Kasahara [2] generalized the notion of compactness with the help of an operation of a topology into the power set of the space. In this paper we generalize the notion of paracompactness by using the operation and unify several product theorems for compact spaces and paracompact spaces.