Space of finite sequences