On the relation of the Aristotelean algebra to that of Boole-Schroeder. (Q562827)

Dem \textit{Boole-Schröder}schen und dem \textit{Aristotel}ischen Klassenkalkül entsprechen zwei verschiedene Begriffe der Inklusion, doch läßt sich jeder dieser Begriffe explizit durch den anderen definieren. Die Postulate beider Systeme erweisen sich dann als äquivalent.