One-ness

In Seminar 19, Lacan's concept of "One-ness" (l'Un) designates not a positive unity grounded in sameness or identity, but a structural effect produced by pure and simple difference—specifically, by the constitutive emptiness of the empty set. Drawing on the history of mathematics from the Pythagorean discovery of irrationals (which shattered the Pythagorean dream of reducing all magnitude to rational commensurability) through Cantor's set theory (which grounds cardinality not on resemblance but on one-to-one correspondence across sets), Lacan argues that the One first emerges not where things are alike, but at the point of irreducible difference and lack. The empty set—the set containing nothing—functions as the "door" through which the One is constituted: counting begins not from a positive element but from the absence of any element, from a zero that generates one precisely because it registers a lack.

This move reframes the One as a matheme in the strict sense: a formalization that captures not a self-identical unit but the structural priority of the gap over presence. The One is not a substance or a totality; it is the mark left by difference when it folds back on itself. This aligns with Lacan's broader argument that the subject, the signifier, and the symbolic order are all grounded on lack rather than on being—what Lacan elsewhere designates through S(Ø), the signifier of the barred Other, and what the objet petit a circles without ever filling. One-ness, in this sense, is the minimal ontological consequence of taking the empty set seriously: the One "is" only insofar as something is missing.

In jacques-lacan-seminar-19, One-ness occupies a pivotal position in Lacan's late mathematization of psychoanalytic structure. It is best understood as a specification of the more general concept of Lack: where Lack names the constitutive void that underlies the subject and the Other, One-ness names the precise logical mechanism by which that void generates a first unit — not through self-sameness but through the registration of pure difference. This means One-ness is also a specification of the Matheme: the empty-set derivation of the One is itself a formalization that touches the Real rather than simply representing a positive reality. As Zupančič's formulation implies, the matheme formalizes the impasse of formalization — and One-ness is exactly such an impasse made into a starting point.

One-ness further articulates the concept of the Gap: the empty set is not merely nothing, but a structured nothing — a béance that the symbolic order counts and from which it generates its chain. This connects it to the Master Signifier (S1) insofar as S1 is also a self-grounding, tautological mark that "quilts" a chain without itself being derived from prior signification; One-ness provides the set-theoretic genetic account of how such a first signifier is possible at all. The concepts of Singularity, Topology, and the Infinite also orbit this node: Cantor's transfinite — which the Infinite cross-reference identifies as modeling the exclusion of jouissance from the symbolic — depends precisely on this grounding of cardinality in difference rather than resemblance, and the topological self-enclosure of the true infinite (the circle, the Borromean knot) recapitulates the same logic by which the One curves back through lack to constitute itself. One-ness is thus the set-theoretic foundation for several of Lacan's later structural claims simultaneously.

Seminar XIX · …or WorseJacques Lacan · 1971 (p.115)

the One cannot be founded on sameness (mêmeté), but that it is very precisely, on the contrary, by set theory, marked as being grounded on pure and simple difference

The quote is theoretically loaded because it directly inverts the classical (and intuitive) logic of unity: "sameness" (mêmeté) — the principle that one thing equals itself — is displaced as the ground of the One, and "pure and simple difference" takes its place. This inversion, anchored in "set theory," is not a philosophical provocation but a formal claim: the empty set, which contains no element and shares nothing with any other set, is the generator of the first cardinal. The phrase "pure and simple difference" thus encodes Lacan's entire argument that lack, not presence, is ontologically primary.