Definition: Demorgan's law states that every subset of a power set (the union of all its elements) contains exactly one element for each element in the original set. In other words, every pair of elements from different sets can be represented as subsets of the same power set. This principle is fundamental in logic and algebra.