• On a (vieux Lispien) : x ∧ y = if  x  then  y  else  f

• Donc on cherche ∧ tel que x y = x y f

• Cherchons :

∧ x y

= x y f

= C x f y         permutation

= C C f x y     permutation

• On peut donc prendre :

   

  ∧ ≡_def C C f