text: With or without boundary Assuming a finite universe, the universe can either have an edge or no edge. Many finite mathematical spaces, e.g., a disc, have an edge or boundary. Spaces that have an edge are difficult to treat, both conceptually and mathematically. Namely, it is very difficult to state what would happen at the edge of such a universe. For this reason, spaces that have an edge are typically excluded from consideration.
  However, there exist many finite spaces, such as the 3-sphere and 3-torus, that have no edges. Mathematically, these spaces are referred to as being compact without boundary. The term compact means that it is finite in extent ("bounded") and complete. The term "without boundary" means that the space has no edges. Moreover, so that calculus can be applied, the universe is typically assumed to be a differentiable manifold. A mathematical object that possesses all these properties, compact without boundary and differentiable, is termed a closed manifold. The 3-sphere and 3-torus are both closed manifolds.
  Observational methods
  In the 1990s and early 2000s, empirical methods for determining the global topology using measurements on scales that would show multiple imaging were proposed and applied to cosmological observations.
  In the 2000s and 2010s, it was shown that, since the universe is inhomogeneous as shown in the cosmic web of large-scale structure, acceleration effects measured on local scales in the patterns of the movements of galaxies should, in principle, reveal the global topology of the universe.