West End theatre — term for mainstream professional theatre staged in and near the West End of London