rmula_10有"f"("y") = "f"("x") + 1；而对于任何formula_8的原子子公式formula_12，有"f"("x") = "f"("y")。概括接着变成：对于朴素集合论概括好像是不自洽的，但是在这里不是。例如，不可能的罗素类formula_15不是NF集合，因为formula_16不能被层化。
有序对.关系和函数在TST（以及NF和NFU）中以通常的方式定义为有序对。首先由Kuratowski在1921年提议的有序对常用的定义对于NF和相关理论有个