任意のnについて、nがNに属するとき、n·2=n+nここで、Nは全自然数の集合である。
如上述例子中对于所有自然数n，n·2=n+n在Zermelo-Fraenkel集合论中，你可以说对于任意n，如果n属于N，则n·2=n+n，这里的N是所有自然数的集合。