Isomorfisme hingga dan korespondensi