Verfeinerungs- und Kürzungssätze für Produkte geordneter topologischer Räume und für Funktionen (-halb-) verbände