The fixed point property of superextensions van der Vel, M. — 1977 General topology and its relations to modern analysis and algebra IV