Trap spaces