CHE COS'È UNA RELAZIONE? 1087 
semplificando la quale si ottiene : 
(5) reRel.9.Hdomr 
Operando analogamente sulla (4), si ottiene: 
(6) re Rel.09.H codom r 
Le (5) e (6) mi sembra rendano inutili le $1P1:4:5 
reRel.o:Hdomr.=.H codomr 
RARO E gie, = pidom r 
del sig. RusseLL (in cui ho introdotto le indicate modificazioni 
‘simboliche, il che nel seguito sarà sottinteso), la seconda delle 
quali è da lui assunta quale Df. 
sa 
Se “reRel, chiamasi “ conversa di », quella relazione 
che sussiste fra “ y;x , ogniqualvolta r sussiste fra “ 2;y ,; 
il sig. RusseLL (conformandosi in ciò allo ScaR6DER) la rappre- 
senta con la notazione “ # , tipograficamente inopportuna, cui 
sostituisco “ cor ,. 
Dopo ciò la $1P1:72 diviene (!): 
(7) rekel.o.cor=?7Relns3(yse.==z;y.xry) 
La (7) è immediatamente preceduta dalle $1P1'7:71 
(8) reRel.n.HRelnsa(ysex.=xy.X79) 
(9) Sl va ta eli a ii ‘e Elm (?) 
che affermano la esistenza e la unicità della relazione che, me- 
diante la (7), vien definita quale “ conversa di r ,; 
(4) “=, può leggersi “è, 
a id. “ quella , 
“n, può tacersi 
“.==yx., può leggersi “ equivale, quali che siano x ed y,a,. 
(°) “ Elm, (abbreviazione di “ elemento ,) vale “classe cui appartienè 
an solo individuo ,; la scrittura “ @€Elm , può esser letta © v'è un solo a ,. 
