differential superordination