Upřesním :). Mám definovaný datový typ "množina", který je daný pouze jako funkce A -> bool, která říká TRUE právě když prvek A do množiny patří. Potom mám funkci A -> A, která mi převádí prvky na jiné prvky, například násobí dvěma. No a cílem je napsat funkci, která vrací "množinu" (čili funkci A -> bool) která obsahuje prvky ze zadaná množiny transformované zadanou funkcí (je to funkce vyššího řádu).
Bavil jsem se o tom s kamarádem a došli jsme k tomu, že to zřejmě nejde bez nějaké iterace nad množinou (je potřeba cosi jako "exists").