Market hall

A purpose built covered market hall, usually 19th century, although earlier examples do exist.