7بما أننا في فئة (∞, 1)، يتم أخذ الحاصل (∞, 1)-بالمعنى، أي ما يصل إلى الهوموتوبي التماسكي.