Диаграммы Эйлера-Венна (помните, что это?) и доказательство законов де Моргана для множеств