La traza parcial Tr es una función