Loop space

ウィキペディアから