( 21 ) 
18. Il est facile de voir que des inclusions de même sens 
peuvent se combiner membre à membre, de façon quelconque; 
c'est-à-dire que, quelle que soit l'opération F, les relations (i) 
entraînent : 
19. Mais si l'on veut, dans une inclusion, faire passer un 
terme d un membre dans l'autre — comme on peut le faire 
dans une relation algébrique, en changeant simplement le 
signe du terme — , la chose se complique. 
Pour pouvoir commodément transformer une inclusion, sans 
diminuer sa portée, il importe de distinguer par un signe les 
termes qui proviennent de l'un ou l'autre membre. 
La relation 
exprime que n'importe quel élément de a est égal à un certain élé- 
ment de T). 
Représentons la première expression soulignée par le sym- 
bole 
«1 + ^1 
0.2 + Ih 
«3 =4= ^3 
F (a, 02 0,) ^ F (b^ b^ b,). 
(2) 
a=^b 
a) 
et la deuxième expression par le symbole 
b. 
Alors l'inclusion (1) sera représentée par l'égalité 
