Symmetric Difference

Symmetric difference is Lacan's topological-logical operator for formalising the structural gap between demand and desire on the torus. Borrowed from Boolean set theory, the symmetric difference of two sets A and B is the region belonging to one or the other but not both — the exclusive "or" (A∪B minus A∩B). Lacan imports this operator not as mathematical decoration but as a rigorous index of the non-coincidence of two fields: when the two fundamental circles of the torus (mapped onto demand and desire) are brought into relation, they cannot simply unite (form a union) nor wholly overlap (form an intersection); what they produce is precisely a remainder — a "self-difference" — that is neither reducible to either field nor to their combination. This is the structural slot of the objet petit a and of the void of desire itself, a gap that no articulation of demand can fill.

The concept does double duty: it is simultaneously a logical structure (the exclusive disjunction governing the relation of signifier to itself — the signifier cannot signify itself, must be posed as different from itself) and a topological intuition (the two irreducible, non-intersecting, non-unifiable circles on the surface of the torus). By placing the accent on symmetric difference and its companion notion of "self-difference," Lacan marks that the asymmetry between the two toric circles is not an empirical contingency but a structural necessity — always escaping full formalisation, it is precisely this irreducibility that makes toric topology productive for psychoanalytic modelling of the subject.

The concept lives exclusively in jacques-lacan-seminar-9 (Seminar IX, Identification), across three closely linked pages (174, 180, 186), making it a concentrated technical intervention within Lacan's sustained topological period. It sits at the intersection of several canonical concepts. With respect to Topology, symmetric difference is one of the precise logical-mathematical tools Lacan deploys to move beyond flat Eulerian representation toward the non-orientable surfaces — especially the torus — that he declares structurally equivalent to psychoanalytic theory itself. It is thus not illustrative but constitutive of the argument. With respect to Desire and Demand, symmetric difference formalises exactly the structural gap their canonical definitions describe: desire is produced by the subtraction of need-satisfaction from demand, and what cannot be absorbed by either pole is the remainder — which symmetric difference captures as the region belonging to one field but not both. The objet petit a — the void-cause of desire — finds its topological address in this remainder.

The concept also bears on Obsession indirectly: the obsessional's desire as "a circle on a torus that can never be reduced to a point" is precisely the toric structure whose two circles are related through symmetric difference without ever unifying. With respect to Negation and Language, the logical move is explicit — the signifier cannot signify itself (self-reference collapses), and symmetric difference formalises this self-difference logically before it is mapped topologically. The concept thus functions as a specification and formalisation of the canonical accounts of Desire, Demand, and Topology, providing the precise Boolean-topological operator that names the structural gap those canonical concepts describe only in terms of their effects.

Seminar IX · IdentificationJacques Lacan · 1961 (p.186)

the whole accent that I put on the definition of these fields is designed to mark for you how these fields of symmetric difference and of what I call self-difference can be used

The quote is theoretically loaded because it explicitly couples "symmetric difference" (the Boolean-topological operator) with Lacan's own coinage "self-difference," thereby signalling that the formal logical structure is being extended into a properly psychoanalytic one: a field that differs not from another field but from itself — which is exactly the structure of the signifier's inability to signify itself and, by extension, the structure of the subject's constitutive division.