Пустое множество ∅ вроде как ноль. Если вы добавляете ноль к чему-либо, вы получаете то, с чего начали. (То есть ∅ + x = x.) Аналогично, если вы умножаете что-либо на ноль, вы получаете ноль. Это также верно для языков: ∅x = ∅ для любого x. Причина в том, что конкатенация двух языков - это язык всех строк, которые вы можете создать, взяв что-то из первого набора и что-то из второго набора и объединяя их вместе, а в случае пустого набора нет строк для pick.
(Более абстрактно: объединение языка и конкатенация образуют полукольцо с пустым набором в качестве нулевого элемента и {ε} в качестве элемента идентичности.)