Tagged: vector space of real functions