space of finite sequences