Predicats predefinits
Iota: demana per algun element d’un conjunt que compleixi una determinada propietat
All: demana per tots els elements d’un conjunt que compleixin una propietat
El fet de tenir una propietat s’expressa amb un predicat definit per nosaltres