Domed city

urban area under a single roof

A domed city is a theoretical human settlement covered inside one or more geodesic domes. They could make great submarine habitats, space settlements such as lunar bases, Mars settlements etc.