Algebraic Topology
《Algebraic Topology》 · 第 458 页 · Section 4.G
For an action of a group \(G\) on a space \(X\), the quotient of \(X\times EG\) by the diagonal action of \(G\) is the Borel construction, denoted \(X\times_G EG\).