Προέλευση/πηγή TeX:
|S|=n\geq 0