Template:Direct product-closed rsp

Direct product-closedness
''This property of a rewriting system is direct product-closed. In other words, a direct product of rewriting systems, each having the property, also has the property''