Rockafellar–Urysohn lemma

GPTKB entity