54C30 - General topology :: Maps and general types of spaces defined by maps :: Real-valued functions