Product-transitively paracompact space

Symbol-free definition
A topological space is termed product-transitively paracompact if its product with any paracompact space is paracompact.

Stronger properties

 * Compact space

Weaker properties

 * Paracompact space

Metaproperties
Any finite product of product-transitively paracompact spaces is again product-transitively paracompact. This follows from the general theory of product-transiters.