In simple terms, henry, the 'locator' for that file is removed so it cannot be found by the file system, and therefore where it is becomes 'free space'. As shunter says, if no other file is subsequently written over the space then an undelete programme will enable you to recover it. Something like 'Eraser' actually writes zeroes or ones or bananas over the file space so it cannot be recovered.