На каждой итерации внутреннего цикла вам доступен элемент x из первого списка и элемент y из второго списка, и вы выполняете сложение этих двух значений: x + y.

Результат каждого сложения добавляется в множество a. Множество автоматически удаляет дубликаты.