You might also know this place by the following names:
Igreja do Santíssimo Salvador da Sé, Igreja do Santissimo Salvador da Se