Estoy confundido con Thm2, el instructor dijo y explicó que x es más burdo que x' pero como x' está contenido en x y considerando la definición de la partición, ¿no debería su explicación ser opuesta mientras demuestra Thm2? entonces x contiene x' y más, creo####[['Thm2', 'Mathematical_Related_Concept', 'NEU']]