Axioms of Subsets (original) (raw)

TOPICS

Search Close

Search

Algebra Applied Mathematics Calculus and Analysis Discrete Mathematics Foundations of Mathematics Geometry History and Terminology Number Theory Probability and Statistics Recreational Mathematics Topology

Alphabetical Index New in MathWorld

For any set theoretic formula 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)).

In other words, for any formula and set A there is a subset of A consisting exactly of those elements which satisfy the formula.

This entry contributed by Nicolas Bray

Explore with Wolfram|Alpha

WolframAlpha

More things to try:

Cite this as:

Bray, Nicolas. "Axioms of Subsets." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/AxiomsofSubsets.html

Subject classifications