double bar: notation marking the end of principal parts of a musical composition; two adjacent bar lines
bar line: a vertical line before the accented beat marking the boundary between musical bars
mathematical space: (mathematics) any set of points that satisfy a set of postulates of some kind