Mackey–Gleason problem

GPTKB entity