Es gibt ein mit der Eigenschaft, dass es für alle ein

derart gibt, dass

ist.