主題
Search

子集的公理


對於任何集合論公式 f(x,t_1,t_2,...,t_n)

 ( forall t_1)( forall t_2)...( forall t_n)( forall A)( exists B)( forall x)(x in B <==> x in A ^ f(x,t_1,...,t_n)).

換句話說,對於任何公式和集合 A,都存在 子集 A,該子集恰好由滿足該公式的那些元素組成。


此條目由 Nicolas Bray 貢獻

使用 探索

請引用為

Bray, Nicolas. "子集的公理。" 來自 Web 資源,由 Eric W. Weisstein 建立。 https://mathworld.tw/AxiomsofSubsets.html

主題分類