f  X  ◎

ds Ascoli