А до того куска ничего не говорилось о соединении двух множеств, даже если и не такими словами?
Тут или банально отношение числа каких-то элементов в конечном множестве к его мощности, или асимптотическая плотность для каких-то чисел в
, получаемая как некоторый предел или как асимптотическое поведение какой-то функции.
«Сумма» всё так же неясна: это может быть объединение множеств, но хороший тон обычно так его и называть; притом если вдруг нужно дизъюнктное объединение (которое само бывает двух видов), альтернативно зовут его тоже обычно не просто суммой, а прямой суммой; наконец можно представить маргинальную ситуацию, когда имеется в виду сумма мультимножеств, просто каждое множество понимается как мультимножество, но это нигде явно не сказано.
Пропорции должны быть просто отношениями количеств чисел, если они конечны, или отношениями чего-то подходящего для бесконечных, когда это осмысленно. Опять же там всегда будут явные определения.