Title: On complete regularity of spaces of economic agents endowed with the order topology