Definition

space consists of all infinite real sequences such that .