Consistency Theorem

A theorem in set theory stating that, for all sets A and B, the following equivalences hold,

 A subset B<=>A intersection B=A<=>A union B=B.

This entry contributed by Margherita Barile

Explore with Wolfram|Alpha


Hall, F. M. An Introduction to Abstract Algebra, Vol. 1, 2nd ed. Cambridge, England: Cambridge University Press, p. 40, 1972.

Referenced on Wolfram|Alpha

Consistency Theorem

Cite this as:

Barile, Margherita. "Consistency Theorem." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein.

Subject classifications