Einbettungssatz

Einbettungssatz steht mathematisch für: