opera house

noun

1.
a building where musical dramas are performed