One of Pure Difference

The "One of Pure Difference" is Lacan's designation for the mode of oneness proper to a set element, as distinct from the One of Attribute that defines a class or category. Where the One of Attribute groups members together under a shared predicate or property — constituting a class by what its members have in common — the One of Pure Difference designates a unit solely by virtue of its singularity, its distinctness from every other element. It is "pure" in the sense that no positive content, no shared quality, grounds its counting as one; it is counted simply insofar as it is not another element. This is a strictly differential, non-predicative identity: the element is one not because it belongs to a kind but because it occupies a discrete, countable position.

This distinction is pressed into service in Lacan's logic of sexuation (Seminar XIX). The One of Pure Difference is the logic by which the exception — the figure that does not submit to the phallic function (∃x.Φ̄x) — is "counted in addition," added to a set without belonging to a class. The exception that grounds the masculine universal ("all men," tout homme) is itself registered through this differential counting: it is one more element, enumerable but not subsumed under the predicate that governs the rest. This is why, for Lacan, the existence of the exception is inseparable from counting and partition: the One of Pure Difference must appear in the parts of the set, not merely as an attribute of its members.

Within jacques-lacan-seminar-19, the One of Pure Difference functions as a technical logical complement to the concept of the One of Attribute. The distinction allows Lacan to articulate two fundamentally different logics of counting and belonging, and this bears directly on the formulas of sexuation. The masculine side (∃x.Φ̄x / ∀x.Φx) requires an exceptional element — the primal father who is not subject to castration — that founds the universal "all." That exception is registered not by sharing an attribute but by being counted as a discrete, singular element: this is precisely the work of the One of Pure Difference. Without this differential mode of oneness, the exception could not be "counted in addition" to the set it grounds, and the closure of the masculine universal would be logically unavailable.

This concept cross-references and depends on several canonical anchors. It is the logical complement of the One of Attribute: where attribute-based oneness generates class universality, differential oneness generates countable singularity. It underwrites the Not-all indirectly: the masculine side achieves closure through an exception counted via pure difference, whereas the feminine Not-all is characterized by the absence of any such grounding exception, leaving the series open and non-totalizable. The Phallus enters as the predicate (Φx) relative to which the exceptional element is defined — the One of Pure Difference is what allows the non-phallic exception to be inscribed within the set despite negating its organizing function. Finally, the concept touches the logic of the Master Signifier: the S1 too is defined not by shared content but by its singular, self-grounding distinctness — a formal kinship with the differential One that this concept makes explicit at the level of set-theoretic partition.

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

The One as pure difference is what distinguishes the notion of the element... The One of difference, is not only countable, but ought to be counted in the parts of the set.

The phrase "not only countable, but ought to be counted in the parts of the set" is theoretically loaded because it moves from mere enumerability to logical necessity of partition: the One of Pure Difference is not just a possible object of counting but a structural demand that the element appear within the set's own internal divisions, which is precisely what allows the exception (∃x.Φ̄x) to ground — rather than simply escape — the masculine universal.