集合 X 被称为无定形的，如果 X 是无限的，并且每当 X = Y ⊔ Z 时，Y 或 Z 中至少有一个是有限的。 定理。ZF 有模型，其中存在无定形集合。