Wir sind in diesem Kapitel mehrfach Sprachkonzepten begegnet, die die Repräsentation begrifflicher Hierarchien erlauben (siehe zB. die Abschnitte 2.4, 2.5, 2.6 und 2.7). Im Idealfall haben diese Hierarchien die Struktur eines mathematischen Verbandes. Das mathematische Studium solcher Begriffsverbände ist daher eine auch für unsere Zwecke wichtige Aufgabe. Eine eingehende Untersuchung dieser Art findet sich zB. in [Wil87].