Gemeinsame Einbettungseigenschaft

Eine Eigenschaft einer Strukturklasse, die besagt, dass für je zwei Strukturen der Klasse eine dritte Struktur der Klasse existiert, in die beide einbettbar sind; mit anderen Worten, jedes Paar hat eine gemeinsame Oberstruktur in der Klasse.