“…Then the natural function 0: X<-KXT)-+(XK)T, given by (*/) (0 (*)=/(*,<), kEK,tET, is a homeomorphism if P is a CW complex such that KXT, given the product topology, is also a CW complex (the proof is elementary; cf. [2] and [9] for other cases in which 0 is a homeomorphism).…”