opera house

noun

1. a theater devoted chiefly to operas.
2. Older Use. a theater, especially a large, ornate one.

noun

1. a theatre designed for opera