nowiki>确使有序对 (a,b) 可定义为 {a,{a,b}}</nowiki>.这个定义消除了有序对的 Kuratowski 规范定义 ("a","b") = 中的一对花括号。
良基性和超集合.在 1917 年，引入了良基性概念：在 ZFC 中通过正则公理而没有无限递降 ∈序列。实际上，正则公理经常叫做基础公理，因为可以证明在 ZFC（没有正则公理的 ZFC）中，良基性蕴涵了正规性。在一些没有正则公理的 ZFC 变体中，非良基集合是可以存在的。在这种系统中工作的时候