I am confused with Thm2, the instructor said and explained like x is coarser than x' but since x' is contained in x and considering the definition of the partition, isn't his explain should be opposite while he is proving Thm2? so x contains x' and more I think####[['Thm2,', 'Mathematical_Related_Concept', 'NEU']]