Binormal space

Symbol-free definition
A topological space is termed binormal if its product with the unit interval (with the product topology) is a normal space.

Equivalently (??), a topological space is termed binormal if it is both a defining ingredient::normal space and a defining ingredient::countably paracompact space.

Textbook references

 * , Page 56, Exercise B-2 (definition introduced in exercise)