Esempio di lfp: i reticoli
fact = _x. if x=0 then 1 else x * fact (x-1)
il reticolo completo (Z, _) degli interi
il reticolo completo (F, _f) delle funzioni parziali da Z a Z
f1 _f f2 se _x _ Z, f1(x) _ f2(x)
_f_è la funzione che restituisce sempre __
_Tf è la funzione che restituisce sempre T_