とくに、は最小の自然数であるを含まないので、任意の集合に対し