Space of finite real sequences