Complement (set theory): Difference between revisions

From Citizendium
Jump to navigation Jump to search
imported>Richard Pinch
(subpages)
mNo edit summary
 
Line 13: Line 13:


:<math>\overline{A \cap B} = \bar A \cup \bar B ; \,</math>
:<math>\overline{A \cap B} = \bar A \cup \bar B ; \,</math>
:<math>\overline{A \cup B} = \bar A \cap \bar B . \,</math>
:<math>\overline{A \cup B} = \bar A \cap \bar B . \,</math>[[Category:Suggestion Bot Tag]]

Latest revision as of 11:01, 31 July 2024

This article is a stub and thus not approved.
Main Article
Discussion
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
This editable Main Article is under development and subject to a disclaimer.

In set theory, the complement of a subset of a given set is the "remainder" of the larger set.

Formally, if A is a subset of X then the (relative) complement of A in X is

In some version of set theory it is common to postulate a "universal set" and restrict attention only to sets which are contained in this universe. We may then define the (absolute) complement

The relation of complementation to the other set-theoretic functions is given by De Morgan's laws: