集合 X 被稱為無定形的，如果 X 是無限的，並且每當 X = Y ⊔ Z 時，Y 或 Z 中至少有一個是有限的。 定理。ZF 有模型，其中存在無定形集合。