— Socrate est donc mortel. Nous avons ici deux ensembles, H (ensemble des hommes), M (ensemble des créatures mortelles), et un élément S (Socrate). La première proposition exprime un phénomène d’appartenance. Inclusion et égalité.
— Warusfel, André, « Les Mathématiques modernes » (1969), p. 35