Partielle Ordnung von Partitionen getippt. Vorlesung vom 8.5.14.