[Math] Bourbaki and the symbol for set inclusion

Question

Which notation ($\subset$ or $\subseteq$) was preferred by Bourbaki for set inclusion (not proper)?

A side question: Was the notation for subset one of the many notations invented by Bourbaki?

Answer 1

See :

• Nicolas Bourbaki, Théorie des ensembles (2nd ed 1970) :

Définition 1 (L'inclusion). La relation désignée par $(\forall z)((z \in x) \implies (z \in y))$ dans laquelle ne figurent que les lettres $x$ et $y$, se note de l'une quelconque des manières suivantes : $x \subset y, y \supset x$, « $x$ est contenu dans $y$ », « $y$ contient $x$ », « $x$ est un sous-ensemble de $y$ ».

See English translation :

• Nicolas Bourbaki, Elements of Mathematics : Theory of sets (1968), page 66.

---

Regarding origins :

According to Florian Cajori (A History of Mathematical Notations (1928), vol. 2, page 294), the symbols for "is included in" (untergeordnet) and for "includes" (übergeordnet) were introduced by Ernst Schröder : Vorlesungen über die Algebra der Logik. vol. 1 (1890).

In addition, Schröder uses $=$ superposed to $\subset$ for untergeordnet oder gleich, i.e. $\subseteq$; see Vorlesungen.

---

Giuseppe Peano, in Arithmetices Principia Novo Methodo Exposita (1889), page xi, uses an "inverted C" for inclusion :

Signum $\text {"inverted C"}$ significat continetur. Ita $a \ \text {"inverted C"} \ b$ significat classis $a$ continetur in classis $b$ [i.e. : $\forall x(x \in a \to x \in b)$].

Note. It is worth noticing that in Peano there is the distinction between the relation : "to be an element of" ($\in$) and the relaion : "to be included into" ($\subset$).

This distinction is not present in Schröder.

---

According to Bernard Linsky, Russell’s Notes on Frege’s Grundgesetze Der Arithmetik from §53, in Russell, 26 (2006), page 127–66 :

Gregory Moore reports that Russell used $\supset$ for class inclusion as well as implication until March or April 1902, when he started to use $\subset$ for class inclusion.