Giovanazzi Gualtiero L.S.E 1 Dati due insiemi non vuoti X e Y, e un predicato binario p(x,y) avente X, Y come domini rispettivamente delle variabili x.