Empty Set as Element

The "Empty Set as Element" is a concept Lacan borrows from set theory to reframe what the One means within analytic practice. In classical set theory, the empty set (∅) is not merely "nothing" but a legitimate, well-formed element that can belong to other sets; Lacan exploits this paradox — that pure absence can function as a member of a collection — to argue that what counts as an element is structurally equivalent to emptiness. The move is precise: to be an element is not to possess positive, intrinsic content but simply to occupy a position in a differential structure. Every element is, at bottom, an empty set that differs from other empty sets only by its positional distinctness — a pure difference that generates sameness only retroactively.

This formal point has decisive consequences for Lacanian psychoanalytic theory: it means the One operative in the analytic experience is not the Platonic or numerical One of similitude and universal essence, but the One of a mark that is emptied of any substantial content. The S1 — the Master Signifier — is precisely this kind of One: it does not signify any particular thing; it holds a place and, through repetition, produces the effect of a subject. By routing the argument through Pascal's triangle and set theory, Lacan shows that the S1 that appears at the level of surplus-jouissance in the Discourse of the Analyst is structurally homologous to the empty set — a "1 of inexistence" that grounds repetition without filling it with content.

The concept appears in jacques-lacan-seminar-19a (p. 119), situated within Lacan's sustained engagement with the foundations of mathematics and formal logic as resources for psychoanalytic theory. Its most immediate neighbors in the cross-referenced concept map are the Master Signifier (S1) and Repetition. The empty set as element is, structurally, a specification of what the Master Signifier is at the level of its formal being: just as the empty set can act as a legitimate element without possessing intrinsic content, S1 represents the subject for all other signifiers without itself being anchored to a stable signified. This extends the canonical account of S1 — as a self-grounding, tautological quilting point — by giving it a set-theoretic grounding: S1's apparent emptiness is not a defect but the very condition of its functioning as an element of the chain.

The concept is equally tied to Repetition, Surplus-jouissance, and the Discourse of the Analyst. Repetition, canonically understood as the structural insistence of the signifying chain at the site of a missed Real, finds its formal engine here: if every element is equivalent to an empty set, then repetition is not the return of a content but the re-inscription of a pure positional mark — a "1 of inexistence." This is precisely why "what makes repetition necessary is enjoyment": each re-inscription of the empty-set element produces surplus-jouissance (the remainder left by the subtraction of jouissance that entry into language entails) rather than recovering what was lost. In the Discourse of the Analyst, the S1 that the analysand produces as output is thus not a discovery of some hidden substantial truth but the emergence of just this kind of empty, positional One — consistent with the analyst's structural placement as objet a (a void that causes desire rather than a plenitude that answers it). The concept also implicitly critiques Universality in the Platonic sense: if the One is empty, there is no universal essence subtending the set of elements; the universal is produced by the structure of difference, not given in advance.

Seminar XIX bis · The Knowledge of the PsychoanalystJacques Lacan · 1971 (p.119)

an element in set theory, as was already proved at the second line, is altogether equivalent to an empty set, since the empty set can also act as an element. Everything that is defined as an element is the equivalent of the empty set.

The phrase "the empty set can also act as an element" is theoretically explosive because it collapses the opposition between presence (element, content, One) and absence (empty set, void, zero): emptiness is not the negation of elementhood but its formal condition. The further claim that "everything that is defined as an element is the equivalent of the empty set" universalizes this — every S1, every master signifier, is at root a pure positional vacancy, which is exactly what allows it to anchor repetition and generate surplus-jouissance without possessing substantial content.