Teilmenge eines topologischen Raumes mit einer Überdeckungseigenschaft. Es sei T ein topologischer Raum. Dann heißt T bikompakt oder auch quasikompakt, wenn jede offene Überdeckung von T eine endliche Teilüberdeckung besitzt, das heißt: Für jede Familie \({\mathscr{U}}\) offener Mengen mit \(T=\cup \{U|U\in {\mathscr{U}}\}\) gibt es endlich viele \({U}_{1},\ldots ,{U}_{n}\in {\mathscr{U}}\) so, daß T = U₁ U… U U_n gilt.

Eine Menge heißt bikompakt, wenn sie Teilmenge eines topologischen Raumes T ist und als Teilraum von T ein bikompakter topologischer Raum ist.