Ich bin verwirrt wegen Thm2, der Dozent sagte und erklärte, dass x gröber als x' sei, aber da x' in x enthalten ist und man die Definition der Partition berücksichtigt, sollte seine Erklärung doch das Gegenteil sein, wenn er Thm2 beweist? Also enthält x x' und mehr, denke ich####[['Thm2,', 'Mathematical_Related_Concept', 'NEU']]