英文のほうは1からnまでの自然数から要素の重複無くl個選ぶ、という意味で
数式のほうは結果的にそれと同じことを意味してる、んだから
含意されているかされていないかで言えばされてる、文と式が等価なんだから新しい条件は付加されていない