la_12，有"f"("x") = "f"("y")。概括接着变成：对于朴素集合论概括好像是不自洽的，但是在这里不是。例如，不可能的罗素类formula_15不是NF集合，因为formula_16不能被层化。
有序对.关系和函数在TST（以及NF和NFU）中以通常的方式定义为有序对。首先由Kuratowski在1921年提议的有序对常用的定义对于NF和相关理论有个严重缺陷：结果的有序对必定有比它的参数（它的左和右投影）的类型高2的类型。所以为了决定分层，函数有比它的域的成员高3