Augustus De Morgan (
June 27,
1806 -
March 18,
1871) was an
Indian-born British mathematician and
logician. He proved an important result that
intersection and
union of
sets were
dual under
complementation[?].
- ie: complement( S intersect T ) == complement(S) union complement(T)
- and complement( S union T ) == complement(S) intersect complement(T)
These are known as De Morgan's Laws.