Definition:Total Space