Ebenfalls leicht abweichend sind dann die Definitionen von Morphismen sowie Unter- und Oberstrukturen.