factorial n and 100 factorial
Mathpedia
definition of set theory
Set Theory