( 20 ) 
cer par un simple trait horizontal, on obtiendra un résultat 
évidemment moins riche en détails, mais on gagnera énormé- 
ment en simplicité. 
El cela sera souvent d'un très grand avantage, surtout pour 
les recherches et les démonstrations. 
§ 3. Équations aux classes. 
15. Pour exprimer qu'une classe â est renfermée dans une 
classe b, c'est-à-dire que tous les éléments de a appartiennent à 
by Schrôder emploie la notation 
16. Cette relation a des propriétés formelles analogues à 
celles de la relation mathématique < (plus petit que) ou plus 
exactement <; notamment celle de n'être pas symétrique; et 
celle, fondamentale, que les deux relations simultanées 
a =^ b b ^ c 
entraînent 
a ^ c. 
17. La notation 
â^^b 
signifiera que les deux classes sont équivalentes, c'est-à-dire 
que l'on a simultanément 
a 4= è a ^ b. 
