Where does “amen” come from?

amen (Old Portuguese) comes from Latin amen, from Ancient Greek ἀμήν, from Hebrew אמן — Used to express agreement with what was just...