Si definimos la "función de partición" de un sistema como