Compactness

Compactness, as Lacan deploys it in Seminar XX, is a topological concept borrowed from mathematics and pressed into service as a logical description of the sexual non-relation. In topology, a space is compact if every open covering has a finite sub-covering — equivalently, if every infinite family of closed sets with the finite intersection property has a non-empty total intersection. Lacan seizes on this latter formulation: if you take the intersection of an infinite number of closed subsets nested within a bounded region, compactness guarantees that something always remains — the intersection is non-empty. He identifies this irreducible remainder with the structural flaw (faille) at the heart of discourse: the impossibility of the sexual relationship is not a void that could be filled but a compact flaw, one whose infinite internal intersections always yield a remainder rather than dissolving into nothing.

This move is decisive for the theory of sexuation. Compactness names the logical property of the impossibility itself — its density, its inexhaustibility, the fact that it cannot be reduced away no matter how finely you subdivide the analysis. The flaw is "compact" precisely because working through it never reaches an empty residue; there is always something left over. This remainder is not phallic jouissance (which is partial, measurable, and subject to the signifier) but structurally related to what Lacan elsewhere calls Other jouissance — the beyond-of-the-phallus that the not-all gestures toward. In this sense, compactness gives a positive topological characterization to what the not-all names logically: the open, non-totalizable series of the feminine side of sexuation is not simply lacking a term but is organized around an infinitely persistent, compact flaw.

In jacques-lacan-seminar-20-cormac-gallagher, compactness appears at a moment when Lacan is elaborating the formulas of sexuation — specifically the feminine side, governed by the not-all — through topology rather than classical logic alone. It sits at the intersection of several canonical concepts: it gives the Gap a positive mathematical content (the flaw is not merely an opening but a compact, infinitely intersecting structure), and it specifies what kind of remainder persists on the far side of phallic jouissance, linking it to Other jouissance and to the logical structure of the not-all. Where the not-all tells us that no exception closes the feminine set, compactness tells us why: the flaw organizing that series is topologically dense, always yielding something at every level of intersection, never bottoming out into an empty set.

The concept also resonates with the Four Discourses insofar as every discourse is constituted by its own impossible relation on the first line (agent → other) — a gap that structures rather than disrupts. Compactness extends this: it provides the topological reason why that impossibility cannot be discharged or exhausted by discourse. It is neither a critique of the canonical concepts nor a replacement for them, but a specification — a mathematical formalization of why the flaw at the center of Language, the non-relation, the Gap, and feminine sexuation is inexhaustible. As an extension of the not-all in particular, compactness supplies the logical not-all with a spatial and infinite-set-theoretic ground: it is what prevents the open series of the not-all from collapsing into a finite closure.

Seminar XX · Encore: On Feminine Sexuality, the Limits of Love and KnowledgeJacques Lacan · 1972 (p.12)

I will put forward here the term compactness. There is nothing more compact than a flaw since it is quite clear that somewhere it is given that the intersection of everything that is enclosed in it... results is that the intersection exists in an infinite number. This is the very definition of compactness.

The quote is theoretically loaded because it identifies the "flaw" (faille — the structural impossibility of the sexual relation) with the mathematical property of compactness, specifically the non-emptiness of an infinite intersection; by saying "there is nothing more compact than a flaw," Lacan converts a negative structural feature (impossibility, lack) into a positive topological density — the flaw does not hollow out to nothing but always yields a remainder at every level of infinite intersection, which is precisely what grounds Other jouissance and the not-all as inexhaustible rather than simply absent.