Кто то может мне объяснить почему в этом моменте сравнивается кол-во всех возможных чисел + кол-во предложенных чисел.
Почему не просто всех?
это никак не операция объединения множеств, а их пересечения. то есть этот оператор вернёт такое множество, которое состоит из элементов, что есть в обеих операндах